私がConcurrent Cleanに出会って、ちょうど１年経ったようです。 去年の６月３０日の日記 → [id:lethevert:20050630] それに先立つ６月６日（[id:lethevert:20050606]）に、OCamlとHaskellの記述があります。 私の場合、コンピューターサイエンス系の大学の…

さて、そろそろ、レコード型をどう実装するかを考えないと。 レコード型で気になるポイントは 基本型を効率よく格納できること 非ボックス化配列を効率よく取り扱えること ということで、これまでは、通常のオブジェクトだけを要素にもつものしか考えていな…

[id:oto-oto-oto:20060629:1151588922] ん？これは、dependent typeになるのかな？ Cleanの型システムでは、これが限界か？（Haskellも同様？） Start = concatN 2 (L [L [L [V 1,V 2,V 3],L [V 4,V 5,V 6]],L [],L [L [V 7],L [V 8],L [V 9]]]) ::ListValue…

Cleanのオブジェクトは次の４つに分類できる。 基本型 × 実行× カリー化○ 非ボックス化配列 int[ ], double[ ], char[ ], boolean[ ] 関数オブジェクト ○ 実行○ カリー化× 非ボックス化配列 代数データ型 × 実行○ カリー化× 非ボックス化配列 レコード型 × …