Concurrent Clean : 副作用と一意型 （３）

[id:lethevert:20060203:p1]では、モナドのアイデアを取り入れる方向で考えていましたが、最近では、リストと高階関数を利用する方向でパターン化することが、より一意型を生かした方法なのではないかと考えるようになっています。ここ数回の便利関数の作成は、その方向での取り組みです。
一意型はモナドと違い、通常のオブジェクトと同じ文脈の中で利用することができます。また、「属性の伝播」という性質を持っているので、タプルや他のデータ型に簡単に埋め込むことができます。その性質を生かすには、モナド的なスタイルはそぐわないのではないかと思うのです。