Rakuten Technology Conference 2019 @Sendai

1. （で遊ぶ）
Nov 9th, 2019
Shota Sugano
EC Business. Dept.
Rakuten, Inc.

2. 2
自己紹介

3. 3
関数型プログラミングについて
• 特徴：関数や式を使ってプログラムを書く
• 言語に以下の特徴があると嬉しい（ことが多い）
• 高階関数：関数を受け取ったり返したりする関数
• 純粋：式や関数に副作用がない
• 遅延評価：必要になるまで評価されない
• メリット
• 複雑な処理を抽象的かつ簡潔に書けたりする
• 言語によっては，強力な型推論の恩恵が得られる

4. 4
連想リストをソートしてみる
• 以下のListを色々な方法でソートしたい
• 高階関数を使うとこんな感じでかける
• Javaでも `Map.sortByKey` とか `Map.sortByValue` とかで ”見た目は” 簡潔？

5. 5
色々な方法でソートしてみる
• keyの文字数とvalueの和でソート
• 関数 `f` を定義していろいろして `List.sortBy` に渡すだけ！
• `List.sortBy` の定義が順序比較を担う関数を受け取る高階関数だから嬉しい

6. 6
順序関係を定義する
• いっそ連想配列の要素に順序関係を定義してしまおう
• Ord の instance が満たすべき命題を証明するだけ！

7. 7
もう一回ソートしてみる
• list2はこんな感じ
• 実行すると… (`List.sort` が使えていることに注目)

8. 8
めちゃくちゃな要素を入れてみる
• Haskellだとこれで ”abcde...xyz” という文字列になる
• これでkeyが無限長の文字列の要素（を先頭に持つリスト）
• 遅延評価のおかげで無事ソートできた

9. 9
もっとめちゃくちゃな要素を入れてみる
• こんな要素は当然…
• 型エラーになる

10. 10