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

---

[2ch|▼Menu]

■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞの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

---

次ページ

最新レス表示

スレッドの検索

類似スレ一覧

話題のニュース

おまかせリスト

▼オプションを表示

レスジャンプ

mixiチェック！

Twitterに投稿

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch

---

5216日前に更新/201 KB
担当:undef