飯塚関数型言語勉強会vol.1の資料です。

1. オブジェクト指向プログラマ
が今関数型言語を学ばないと
いけない理由
`

2. 谷口耕平 @ran_tan
ハウインターナショナル
で働いてます
九工大 知能情報工学科卒
自己紹介
現在
2010.03
小出研、工大祭実行委員、SE塾

3. 毎週木曜日 ココで
開催中!!

4. 普段書いている言語
• Ruby
• Javascript, CoffeeScript
• Swift, Objective-C
• Java

5. 関数型言語は全く
書いていません。。。

6. 今日はOOPプログラマを自認する私が、な
ぜ関数型言語を勉強したいのかを話します

7. 関数型言語が流行ってる？

8. Githubのリポジトリ数

9. Githubのリポジトリ数

10. Githubのリポジトリ数

11. 関数型流行ってる？

12. Google Trends
を見れば流行っているのがわかるはず！

15. X軸と同化した、、

16. もしかして
流行ってない？

18. 数年前，Dave Thomas氏に会ったときに「Ruby
の次のLotYに何を選んだのか」と聞いてみたと
ころ「Haskellを試そうとした。でも，次に考え
てるのは日本語だよ」と笑顔で答えてくれました。
http://itpro.nikkeibp.co.jp/article/COLUMN/20070618/275142/
総論 複数のプログラミング言語を学ぶ意義

19. Dave Thomasも
Haskellに注目している！
（かなり昔の記事だけど、、）

21. 「Haskellを学ぶ事は、TDDを細かく分析し、それへ
回帰する事を強いる。原則は私が懸念していたよりも
根元的なものだった。」 適当和訳

22. よくわからんけどHaskellや
るとTDDも深まるらしい

23. 関数型言語流行の背景

24. ムーアの法則の限界
• クロック数の頭打ち
• それによるマルチコア化の流れ
• 並行プログラミングへの需要
• OOP言語での並行処理の書きにくさ
• 関数型言語の参照透過性という性質への注目
とかが世の中でよく言われている

25. Erlangへの注目
• Prologのような宣言的な構文で記述
• スレッド間でメモリを共有しないスレッドモデル
• 並行処理を前提に設計されている

26. Scalaの登場
• JVM上で動作
• オブジェクト指向と関数型のマルチパラダイム
• Erlangと同じくメモリを共有しないアクターモデル
という並行処理の仕組みがある

27. 数学に支えられた構文の美しさ
• 小出先生「Lispは神言語」
• ぼくにはまだよくわかりません！

28. OOP言語の中の関数型

29. Javascript
• クロージャ
• 高階関数
• カリー化
• 普通にJSの本に出てくる。むしろこれらを使わな
いとコード書けない。

30. Ruby
• ブロック構文 ← 高階関数が簡単に書ける
• lambdaある
• mapとかreduceとか関数型由来のメソッドを多用
するのが当たり前

31. Java
• lambdaが入った

32. 関数型言語を使わなくても恩恵
を受けている

33. OOP言語を捨てて関数型へ
は行かない

34. もはやOOPは手放せない
• 複雑な現実をコードで表現するには、事象を「オブ
ジェクト」という抽象化された概念の相互作用とし
てモデリングするアプローチは、非常に協力な武器
• 我々は現実と戦わなければならないのです！
• でしょ？OOPの皆さん？

35. 関数型パラダイムを学ぶことでOOP言語でよ
り良いコードが書けるようになる、、はず！
• OOP言語の中の関数型要素を活用できる！
• 参照透過性→副作用が無い→メソッドをシンプルに
• と言いつつ正直まだよくわかりません、皆さんの意
見を教えて下さい。

36. OOPと関数型両方を生かすス
タイルが模索されている
• Scalaのアクターモデル
• イミュータブルな変数（というか定数）の多用。
• オブジェクト自体をイミュータブルにするアプロー
チもあるぽい。（試してないけど）
• 副作用のある操作と無い操作を分離する設計も可能？

37. まとめ
• 関数型の流れがきている（結構前から）
• OOP言語にも関数型のパラダイムが入ってきている
• OOPと関数型両方のメリッドを生かすスタイルが
模索されいている
• 俺たちOOP戦士の戦いはまだこれからだ！