OCaml koan
OCaml koan ってなんやろ、オー、キャラメルコーン?違います。
駱駝公案
そう、両手で手をたたくと音がする。では手と手のしわを併せると何になるか?とか、そういう奴。
Caml-list でも let rec の rec なんかいらんやん、という質問が。Ashish Agarwal さんが、次の公案を思い出してモチツケ、というナイスなツッコミを入れております: (昔からあったものです)
http://eigenclass.org/hiki/fp-ocaml-koanslet 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..."
他の公案もなかなかに面白い。が、なんで俺の師匠が variance annotation のエキスパートなの?わからん。