Enviar pesquisa
Carregar
第1回関数型言語勉強会 大阪 LT 資料
•
3 gostaram
•
4,978 visualizações
ikegami__
Seguir
関数型を学習するためのリソースを提供します。個人の主観が入っておりますのでご容赦を。 2012-05-20:追記:修正した発表スライドに更新しました。
Leia menos
Leia mais
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 25
Baixar agora
Baixar para ler offline
Recomendados
C#erがF#に這い寄ってみた
C#erがF#に這い寄ってみた
Hiroshi Maekawa
今日から始めるClojure
今日から始めるClojure
Kiyotaka Kunihira
Xamarinとmvvm crossとf#と
Xamarinとmvvm crossとf#と
Masahiko Miyasaka
第一回関数型言語勉強会 大阪
第一回関数型言語勉強会 大阪
Naoki Kitora
OCamlの多相Variant紹介 #fpstudy
OCamlの多相Variant紹介 #fpstudy
kyon mm
Material
Material
_TUNE_
Erlang
Erlang
Kiminari Homma
Erlangを触ってみた
Erlangを触ってみた
Yoichi Toyota
Mais conteúdo relacionado
Destaque
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
Mitsutoshi Aoe
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
HiroSuga
関数型軽い紹介
関数型軽い紹介
Daniel Perez
Yesod(at FPM2012)
Yesod(at FPM2012)
Seizan Shimazaki
たのしい関数型
たのしい関数型
Shinichi Kozake
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
syamino
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
Takashi Nishisaki
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
pocketberserker
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
pocketberserker
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
shoma h
恊働ロボットCOROの開発における形式的仕様の適用事例
恊働ロボットCOROの開発における形式的仕様の適用事例
Life Robotics
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
trmr
JSer Class #1
JSer Class #1
mizuky fujitani
これから Haskell を書くにあたって
これから Haskell を書くにあたって
Tsuyoshi Matsudate
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
Kimikazu Kato
120901fp key
120901fp key
ksknac
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
tadaaki hayashi
データベース入門3
データベース入門3
tadaaki hayashi
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
Xamarin.forms実践投入してみて
Xamarin.forms実践投入してみて
Masahiko Miyasaka
Destaque
(20)
GHC 6.12.1 マルチコア対応ランタイムシステムについて
GHC 6.12.1 マルチコア対応ランタイムシステムについて
20120519 inverse fizzbuzz を解いてみよう
20120519 inverse fizzbuzz を解いてみよう
関数型軽い紹介
関数型軽い紹介
Yesod(at FPM2012)
Yesod(at FPM2012)
たのしい関数型
たのしい関数型
代数的データ型をラムダ計算の中で表現する方法
代数的データ型をラムダ計算の中で表現する方法
関数型言語初心者の俺がF#触ってみた
関数型言語初心者の俺がF#触ってみた
F#で学ぶ関数プログラミング入門?
F#で学ぶ関数プログラミング入門?
FP習熟度レベルとFSharpxのIteratee
FP習熟度レベルとFSharpxのIteratee
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
Pythonista による Pythonista のための Scala 紹介 in BPStudy #49
恊働ロボットCOROの開発における形式的仕様の適用事例
恊働ロボットCOROの開発における形式的仕様の適用事例
Katagaitai CTF勉強会 #4 Crypto
Katagaitai CTF勉強会 #4 Crypto
JSer Class #1
JSer Class #1
これから Haskell を書くにあたって
これから Haskell を書くにあたって
純粋関数型アルゴリズム入門
純粋関数型アルゴリズム入門
120901fp key
120901fp key
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
データベース入門3
データベース入門3
関数プログラミング入門
関数プログラミング入門
Xamarin.forms実践投入してみて
Xamarin.forms実践投入してみて
Mais de ikegami__
C言語静的解析ツールと Ruby 1.9 trunk
C言語静的解析ツールと Ruby 1.9 trunk
ikegami__
Agda 入門@ProofSummit 2011
Agda 入門@ProofSummit 2011
ikegami__
Mac Laptop で Gentoo
Mac Laptop で Gentoo
ikegami__
Lightening Talk at Open Source Conference 2007
Lightening Talk at Open Source Conference 2007
ikegami__
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
ikegami__
Advanced Topics in Haskell
Advanced Topics in Haskell
ikegami__
Introduction to Haskell@Open Source Conference 2007 Hokkaido
Introduction to Haskell@Open Source Conference 2007 Hokkaido
ikegami__
Mais de ikegami__
(7)
C言語静的解析ツールと Ruby 1.9 trunk
C言語静的解析ツールと Ruby 1.9 trunk
Agda 入門@ProofSummit 2011
Agda 入門@ProofSummit 2011
Mac Laptop で Gentoo
Mac Laptop で Gentoo
Lightening Talk at Open Source Conference 2007
Lightening Talk at Open Source Conference 2007
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Introduction to Haskell games in Open Source Conference 2007 Hokkaido
Advanced Topics in Haskell
Advanced Topics in Haskell
Introduction to Haskell@Open Source Conference 2007 Hokkaido
Introduction to Haskell@Open Source Conference 2007 Hokkaido
第1回関数型言語勉強会 大阪 LT 資料
1.
発表者の皆さん Haskell
に 影響されすぎです!
2.
Haskell 以外の言語
3.
書籍の紹介を 5 分でします
4.
速習・関数型言語
@ikegami _ _ 2012-05-19 第一回関数型言語勉強会 関西
5.
抽象化とは… 構造化とは…
8.
関数型言語という定義は、はっきりしない
9.
オブジェクト指向言語
関数型言語 オブジェクト指向 関数プログラミング
10.
関数型計算モデルとは
抽象化の概念 構造化 関数の定義で実現 OOP ではクラスの定義で実現
11.
関数型の利点 関数を引数として受け取る関数 関数を値として返す関数
プログラムを簡潔に表現可能
12.
@nushio 抽象化と速度は相容れないという常識を覆し、
抽象化こそが コーディング速度も実行速度も向上させる ー @nushio さん、自己紹介より抜粋 http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/ muranushi.html
13.
Bird, Wadler 本
→ Miranda | 萩谷本 → LISP, Scheme, ML
14.
「プログラミングの基礎」というタイトルの 関数プログラミング入門書 →
OCaml サイエンス社
15.
「プログラミング言語の基礎概念」というタイトルの 関数プログラミング入門書
→ 型理論 OCaml
16.
英語圏にはドキュメントが沢山あります (どのプログラミング言語でも同じことが言える)
英語怖くない!
17.
• 自習 • よい指導者を見つける •
ideone や GitHub (Gist) で公開 • 添削してもらう • 勉強会に参加 用意したプレゼン、5 分では無理でした…
19.
計算機プログラムの 構造と解釈
→ LISP
20.
オーム社
21.
すごいHaskellたのしく学ぼう!
オーム社 邦訳がもうすぐでます
22.
五十嵐本 技術評論社
23.
コップ本第2版 インプレスジャパン
24.
• Common Lisp •
Erlang • F# • ML • SML • SML# • Scheme • Gauche
25.
今日は話さないよ! • 型 (type)
• 動的型付け vs. 静的型付け • データ • mutable vs. immutable • 評価戦略 • 正格(strict) vs. 非正格(non-strict)
Baixar agora