第1回関数型言語勉強会 大阪 lt 資料
DESCRIPTION
関数型を学習するためのリソースを提供します。個人の主観が入っておりますのでご容赦を。 2012-05-20:追記:修正した発表スライドに更新しました。TRANSCRIPT
![Page 1: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/1.jpg)
発表者の皆さん
Haskell に影響されすぎです!
![Page 2: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/2.jpg)
Haskell 以外の言語
![Page 3: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/3.jpg)
書籍の紹介を5 分でします
![Page 4: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/4.jpg)
速習・関数型言語@ikegami _ _2012-05-19
第一回関数型言語勉強会 関西
![Page 5: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/5.jpg)
抽象化とは…
構造化とは…
![Page 6: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/6.jpg)
![Page 7: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/7.jpg)
![Page 8: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/8.jpg)
関数型言語という定義は、はっきりしない
![Page 9: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/9.jpg)
関数プログラミング
関数型言語
オブジェクト指向
オブジェクト指向言語
![Page 10: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/10.jpg)
関数型計算モデルとは
抽象化の概念構造化
関数の定義で実現
OOP ではクラスの定義で実現
![Page 11: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/11.jpg)
関数を引数として受け取る関数
関数を値として返す関数
プログラムを簡潔に表現可能
関数型の利点
![Page 12: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/12.jpg)
@nushio
抽象化と速度は相容れないという常識を覆し、抽象化こそが
コーディング速度も実行速度も向上させる
ー @nushio さん、自己紹介より抜粋http://www.hakubi.kyoto-u.ac.jp/02_mem/h22/
muranushi.html
![Page 13: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/13.jpg)
Bird, Wadler 本 → Miranda | 萩谷本 → LISP, Scheme, ML
![Page 14: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/14.jpg)
「プログラミングの基礎」というタイトルの関数プログラミング入門書 → OCaml
サイエンス社
![Page 15: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/15.jpg)
「プログラミング言語の基礎概念」というタイトルの関数プログラミング入門書 → 型理論 OCaml
![Page 16: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/16.jpg)
英語圏にはドキュメントが沢山あります(どのプログラミング言語でも同じことが言える)
英語怖くない!
![Page 17: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/17.jpg)
• 自習
• よい指導者を見つける
• ideone や GitHub (Gist) で公開
• 添削してもらう
• 勉強会に参加用意したプレゼン、5 分では無理でした…
![Page 18: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/18.jpg)
![Page 19: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/19.jpg)
計算機プログラムの構造と解釈→ LISP
![Page 20: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/20.jpg)
オーム社
![Page 21: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/21.jpg)
邦訳がもうすぐでます
すごいHaskellたのしく学ぼう!オーム社
![Page 22: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/22.jpg)
五十嵐本技術評論社
![Page 23: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/23.jpg)
コップ本第2版インプレスジャパン
![Page 24: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/24.jpg)
• Common Lisp
• Erlang
• F#
• ML
• SML
• SML#
• Scheme
• Gauche
![Page 25: 第1回関数型言語勉強会 大阪 LT 資料](https://reader034.vdocuments.pub/reader034/viewer/2022052205/55978fdc1a28abb8368b47a9/html5/thumbnails/25.jpg)
• 型 (type)
• 動的型付け vs. 静的型付け
• データ
• mutable vs. immutable
• 評価戦略
• 正格(strict) vs. 非正格(non-strict)
今日は話さないよ!