強い静的型付けこそ正義だよな
あとLispみたいな〜って議論が結構あるが、
ラムダ関数を演算子化すればおkじゃね?