先日から、かなりあれこれと試行錯誤をしてみたのですが、結局Cleanのシステムでは、型クラスを用いて多態性を実現することは不可能であるようだという結論に至りました。動作したのは、ラッパー型を作成した場合ですが、これは汎用性の面で欠けるし、それ以…

[id:lethevert:20050904:p3] Concurrent Clean版の fix :: ( (Int -> Int) -> (Int -> Int) ) -> (Int -> Int) fix maker = f where f = maker f と、JavaScript, Scheme版のそれ function fix(G) { function f(x) { return f(x) } f = G(f) return f } (def…