OCaml koan

OCaml koan ってなんやろ、オー、キャラメルコーン？違います。

駱駝公案

そう、両手で手をたたくと音がする。では手と手のしわを併せると何になるか？とか、そういう奴。

Caml-list でも let rec の rec なんかいらんやん、という質問が。Ashish Agarwal さんが、次の公案を思い出してモチツケ、というナイスなツッコミを入れております: (昔からあったものです)

let rec

One day, a disciple of another sect came to Xavier Leroy and said mockingly:

"The OCaml compiler seems very limited: why do you have to indicate when a function is recursive, cannot the compiler infer it?"

Xavier paused for a second, and replied patiently with the following story:

"One day, a disciple of another sect came to Xavier Leroy and said mockingly..."

http://eigenclass.org/hiki/fp-ocaml-koans

他の公案もなかなかに面白い。が、なんで俺の師匠が variance annotation のエキスパートなの？わからん。