COMFRK VOL.3 「今夜は俺とお前でマルチパラダイムだからな」訂正と補足

misc

いくつか誤植やら何やらが報告されています。ケジメ！ケジメ！いやでも実際大変でしたし…スイマセン…

  • 9 ページ目、ナゾの url

これはなんなんでしょうね…ナゾです。

  • 10 ページ目、let ret て let rec の typo じゃないの？

typo じゃないです！紛らわしかったですねスイマセン。ボクも、これ間違いじゃない？と指摘されたときは、うわやっちまった、全部実行可能なの確認したのにな…と typo だと信じきっちゃってました。あってます。大丈夫です。

  • 11 ページ目、ナゾの ¿

なんか編集長いわくエスケープ漏れみたいなそんな感じらしいです。これは勿論 ">" です。

  • 12 ページ目、> がなんか頭についてる

なんでしょうね…なんでしょう。気にしないで？

  • 13 ページ目、compose の定義がおかしい

これ実はミスではなくってわざとなんですね…ところが、わざとこう定義してますっていうのを書き忘れてました！はい…オヤッと思った皆様、スミマセヌ…
これは scala の mix-in による例と見比べると、何故そういう定義にしたのか分かってもらえると思います。

let compose g f x = g (f x)

並び順が逆になっちゃうんですね。

fix (compose memo (compose trace fib))

new Fib with Trace with Memo

まあそんな感じです。