どんな集合からどんな集合に写されるか。その集合を型で表現する
#関数型プログラミング
#集合論
#型
from
関数fは、値を写すもの
「型と型を組み合わせた構造化」がよりよくできればプログラムが堅牢になる