第1回関数型言語勉強会 大阪 LT 資料

5,740 views

Published on

関数型を学習するためのリソースを提供します。個人の主観が入っておりますのでご容赦を。
2012-05-20:追記:修正した発表スライドに更新しました。

0 Comments
3 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
5,740
On SlideShare
0
From Embeds
0
Number of Embeds
3,210
Actions
Shares
0
Downloads
8
Comments
0
Likes
3
Embeds 0
No embeds

No notes for slide

第1回関数型言語勉強会 大阪 LT 資料

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

×