>>676-681
haskellの型宣言だと思うと個人的には腑に落ちる。

Mathematicaだと型がないけどオンラインマニュアルの例で組み合わせ論的離散数学的な実例見せてるのが興味深い。