Concurrent Clean : Re: ハンドルから実体を取り出す

[id:lethevert:20070425:p3]だけれど間違ってる。
リポジトリを使うという方法は関数的でないところが問題ではなくて（一意型を使えば、関数的に扱えるから）、型付けの問題と安全性の問題が引っかかっているのと、リポジトリサービスそのものをCleanでどう実装するかという問題に気持ち悪さを感じるから。

• • • -

で、あの後思い付いたのだけれど、参照型を導入することで、この問題が解決するかもしれない。一意型を利用した純粋関数的な参照型のイメージを思い付いて、それは現行のABCマシンで実装できそうな気がする。