08/04/03 07:34:49
>>190
なことねーよ。
長さは抽象化して扱うんだよ。
全てのlist nodeが同じ性質かどうか解析する。
map/reduce系はlist nodeを同じ扱いするから結構簡単。
こんなん20年以上前から論文あるよ。
実装技術として実用化されてきたのが最近ってだけで。
リストは簡単な部類。嫌らしいのはフラットじゃない木構造。
フラットな構造ってのは、non-flat domainとしては一番単純だから。
最後の"non-flat"ってはdomain theory的な意味でね。