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