from 単体テストの考え方/使い方

集合をドメイン（入力の集合）とレンジ（出力の集合）と呼ぶ

関数は、ドメインの各要素に対してレンジの要素へと変換する

特定の入力に対しては常に同じ出力が得られる #参照透過性

「関数は入力を出力にマッピングする」法則を記したもの

集合論的に考えると、関数は命令の手続きじゃなくて、入力の集合を出力の集合へと変換する

集合そのものを型で表す