関数型プログラミング言語Haskell

関数型プログラミング ..

586:デフォルトの名無しさん
03/03/18 20:49
>>583
この板にも居ますよ。たぶん数学屋の方でしょうけど。

ところでデータ構築子って理論的にカリー化できないのでしょうか？
最弱頭正規形を作ればいいのだから可能なのでは？と思いますが。