このScala by Example‎ > 演習6.0.2のNat、Succは自然数の定義でもあるペアの公理まんまですね。 公理を限りなく数式に近い形でプログラムで表現できるのはまさに関数型ならではなのでしょうか。Succの実装がよく分からない…と思ったら、これも原文と違っち…