トップページ⇒tech

1001コメント283KB

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

■ このスレッドは過去ログ倉庫に格納されています

0192デフォルトの名無しさん

2012/11/04(日) 10:22:17.47

>>190
米田の補題より、関数＝射。
190より、モナド⊂プログラム＝Kleisli圏の射⊂射。
したがって、モナド⊂関数。
これでOK?

■ このスレッドは過去ログ倉庫に格納されています