2007-02-08から1日間の記事一覧

Concurrent Clean : 配列パターンの落とし穴

[id:lethevert:20061105:p2]で紹介した配列パターンだが、思わぬ落とし穴が。 get_or_zero i arr # (l,arr) = usize arr = f l i arr where f l i arr=:{[i]=ai} | i>=l = (0,arr) = (ai,arr) とか、遅延評価を期待して書いてやると、aiのところが遅延評価さ…

回答(途中) with Concurrent Clean

[id:lethevert:20070124:p2] 配列を、何らかの方法でソートしてから比較すれば・・・と思ったけれど、ある程度かいてから、その何らかというものが容易でないということに気づいてそのアプローチを断念。 とりあえず、書きかけのコード。