2009-01-18から1日間の記事一覧
OCamlはファンクター適用の型を複数のモジュールに渡って透過的に単一化してくれる。SMLのモジュールシステムとは異なるので注意。詳細は原論文"Applicative functors and fully transparent higher-order modules"かhttp://www.cs.cmu.edu/~rwh/courses/mod…
OCamlはファンクター適用の型を複数のモジュールに渡って透過的に単一化してくれる。SMLのモジュールシステムとは異なるので注意。詳細は原論文"Applicative functors and fully transparent higher-order modules"かhttp://www.cs.cmu.edu/~rwh/courses/mod…