kmizuの日記

プログラミングや形式言語に関係のあることを書いたり書かなかったり。

2008-05-30から1日間の記事一覧

Scalaでランクn多相をエミュレート

ヒビルテ(2008-05-29)より: OCamlの場合 一方、OCamlの場合にはランクN多相に直接対応してはいない*2けど、レコードのフィールドが多相型を持つことが出来るので、多相関数をレコードに包んで受け渡すことでエンコードできる。 type some_record = {x:int l…