発表者の皆さん

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たのしく学ぼう！オーム社

五十嵐本技術評論社

コップ本第２版インプレスジャパン

• Common Lisp

• Erlang

• F#

• ML

• SML

• SML#

• Scheme

• Gauche

• 型 (type)

• 動的型付け vs. 静的型付け

• データ

• mutable vs. immutable

• 評価戦略

• 正格(strict) vs. 非正格(non-strict)

今日は話さないよ！