関数型言語ファンなら Curry-Howard isomorphism くらいは
ウンチクとして知っておいた方が良いと思われ
しばしばMLが利用される問題の例だし