関数型プログラミング言語Haskell Part8at TECH関数型プログラミング言語Haskell Part8 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト650:デフォルトの名無しさん 08/03/23 21:57:00 使われ方は近いっていうのと概念が近いってのを混同せぬよう。 651:デフォルトの名無しさん 08/03/23 22:36:57 voidは引数として渡せないしな。 652:デフォルトの名無しさん 08/03/23 22:51:43 データ構造にも入れられない 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先生とかの論文で習うしかないのかなー 654:デフォルトの名無しさん 08/03/24 00:11:01 日本語でおｋ 655:デフォルトの名無しさん 08/03/24 00:19:18 instance Monad ((->) r) -- Defined in Control.Monad.Instances 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch