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

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

653:639
08/03/24 00:09:11
>>640
Control.Monad.Instances って関係あるんですか？
つーか Control.Monad の ap や liftMn は (Monad m) => ... m a -> ... な感じでモナド専用なのでは？

>>641
トランスレータ乙ｗ
Wikipediaに載ってる変換アルゴリズムには
> In general, the T[ ] construction may expand a lambda term of length n to a combinatorial term of length Θ(3n).
とありますが．
まぁSKIがあれば不可能な訳ではない，と...

R. Bird先生とかの論文で習うしかないのかなー

次ページ