型と関数
from Understanding Types
FP における型 = 関数の入力または出力として使用可能な値の集合に名前を付けたもの
https://scrapbox.io/files/66909e367863d4001d726a1b.png
OOP における クラス よりも遥かにシンプル
e.g. int16 は -32768 から 32767 の範囲の数の集合に対してラベルを付けたもの
https://scrapbox.io/files/66909e84ef09d5001dde0bec.png
集合はプリミティブ以外のものも可能
https://scrapbox.io/files/66909f7ab3f904001d8cf8f0.png
関数の集合も型として扱うことが可能
https://scrapbox.io/files/66909fbe54341d001c0e7c41.png
型シグネチャ: someInputType -> (Fruit -> Fruit)