λx. x K S K @はてな

このブログ内に記載された文章およびコードの著作権は,すべて Keisuke Nakano に帰属します.

2007-03-01から1ヶ月間の記事一覧

非ネタばらし

ハミング数を出力する問題で OCaml の記録が大幅に縮んだので, 試しに Ruby で書き直したところ,あっさり一位になってしまいました(その後,すぐに flagitious さんに抜かれました.バイナリの 3B って何?). その後,碌に技を知らない Perl,二行以上…

ネタばらし(e.ml)

e の 79B はあまりにインチキなので,公開してしまうことにします.

#010 オプショナル引数

suiginto さんの記事に関連して, OCaml でのオプショナル引数の利用に関する二つの制限についてメモ*1. OCaml のように多相型と関数型を許した型体系でのオプショナル引数には, 意味論を健全にするためなどの理由からいくつかの制限が設けられている. ま…