1. 「先端技術」
- 関数型プログラミング -
nakasen_20th

2. 関数型プログラミング
1. ひとことで言えば？
2. 生まれた背景
3. 概要
4. 周囲はどう見ているか - 好意的視点
5. 周囲はどう見ているか - 批判的視点
6. 今後はどうなる？
7. 星いくつ？

3. 1. ひとことで言えば？
「関数の定義が数学に近いプログラミング手法」

4. 2. 生まれた（見直された）背景
• 数式に近い記述の高級言語として（1958年）
• 近年のプロジェクト炎上多発（→再評価）
• JavaScriptの復権

5. 3. 概要説明
• 数学の関数とプログラミング言語の関数
• 関数型プログラミング言語の特徴
• 関数型プログラミング言語の種類
• LISPの誕生→JavaScriptの復権→他言語へ影響
• プログラマにとっての試金石

6. 数学の関数とプログラミング言語の関数
• 数学の関数
✴ 入力が同じであれば、出力も常に同じ値になるもの
• プログラミング言語の関数
✴ 関数内部の状態やシステム全体の状態によって
得られる出力が変わってしまう
• 「副作用がある」ということ
✴ 変数への代入や入出力によって状態が変化するということ

7. 副作用について
• 副作用がある → 状態を持っている
• 副作用がない → 状態を持たない
→ 並列処理をしても同じ値を求められる

8. 宣言的なプログラミング
• 非関数型（命令型）
var a = 1;
var b = a + 1;
a = 10;
console.log(b); // -> 2
• 関数型（宣言型）
var a = 1; Excelの計算式が書かれたセルが
var b = a + 1; 他のセルの変更によって
a = 10; 書き換えられるイメージ
console.log(b); // -> 11

9. 関数型プログラミング言語の特徴
• 副作用のない処理を書きやすい
• 関数がファーストクラスオブジェクト
（関数の引数や戻り値に関数を使える）
• 静的型付け言語は型推論機能を持つ
• クロージャ、遅延評価、カリー化、部分適用等
• バグが減りソースコードがスッキリする

10. 関数型プログラミング言語の特徴
• 正の整数だけの合計値を求める関数（Javaの場合）
int sum(int[] array) {
int ret = 0;
for (int i : array) {
if (i > 0) {
ret = ret + i;
}
}
return ret;
}

11. 関数型プログラミング言語の特徴
• 正の整数だけの合計値を求める関数（Haskellの場合）
sum = f where
f [] = 0
f (it : its)
¦ it > 0 = it + f its
¦ otherwise = f its

12. 関数型プログラミング言語の特徴
• 正の整数だけの合計値を求める関数（Swiftの場合）
func sumPositiveInt(array:[Int]) -> Int {
return array.filter{ $0 > 0 }.reduce(0, combine:{ $0 + $1 })
}

13. 関数型プログラミング言語の種類
• 純粋関数型言語（副作用を許さない）
• 静的型付け
• Haskell
• Miranda

14. 関数型プログラミング言語の種類
• 非純粋関数型言語（副作用を許す）
• 静的型付け
• ML
• OCaml
• Scala
• 動的型付け
• Erlang（後継としてElixirが熱い！）
• LISP
• Scheme（LISPの方言）

15. LISPの誕生
• ２番めに古いプログラミング言語（1958年）
• S式とカッコの多さ
• 実装しやすく多くの方言
• マニア向け言語としての歴史

16. JavaScriptの復権
• Webブラウザに動的変化を与えるための言語
として華々しくデビュー
• ブラウザ側の独自実装乱発で滅亡の危機
• 実は関数がファーストクラスオブジェクト！
• Googleエンジニアのハートを射抜く？
→ Ajaxを利用したプロダクツのヒット

17. JavaScriptの復権
• JavaScriptは関数型プログラミングの
とっかかりに最適（すぐ試せる）
• JavaScriptで関数型っぽく書いてみよう
http://qiita.com/takeharu/items/
cf98d352ff574c5ac536
• いい思いをしたプログラマが
JavaScriptを滅亡の危機から救った

18. 他言語への影響
• 既存言語でのプロジェクトで炎上頻発！
• 関数型いいんじゃね？ ソースコードきれい！
• ラムダ式、クロージャーの導入
（Javaもついに）
• 型推論、遅延評価等の導入
• 最近はどの言語も関数型の機能を持っている

19. プログラマにとっての試金石
• 新しいパラダイムを一から勉強し直し？
• オブジェクト指向をやっと理解したのに・・・
• 設計は？ フレームワークは？ 運用は？
• 文献は英語ばっかり

20. プログラマにとっての試金石
• 上からの圧力
✴ レガシーの面倒見るのはもうコリゴリ
✴ 今後新規プロジェクトはPHP禁止、
ScalaはO.K.（某CA社？）
✴ Haskellプロジェクトで良い人材集めよう！
• 下からの突き上げ
✴ 若いプログラマが「新技術でやりましょう！」

21. 4.周囲はどう見ているか（好意的視点）
• バグが減る！
• ソースコードがすっきりする！
• 並列処理が書きやすい！

22. • 学習コスト高過ぎ
• 業務処理は無理、マニアのためのもの
• プログラマの単価を上げるためのバズワード
5.周囲はどう見ているか（批判的視点）

23. 6. 今後はどうなる？
• オブジェクト指向との親和性アップ
• 「はじめての言語が関数型」世代の出現
（関数型ネイティブ）
• 大手デベロッパのScalaプロジェクト増加

24. 7. 星いくつ？
• トンガリ度 ★☆☆☆☆
• 絶対流行る ★★★★★
• お金の匂い ★★★★☆
• 敷居の低さ ★★★★☆
• 総合おススメ度 ★★★★★