ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

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

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>937 > >>933 > 微分積分などの計算方法と違って、 > モナドって発明というよりは発見なんじゃないか？ > > 誰かは忘れたが、圏論の中でモナドの構造を見抜いた > 違うか、ある共通の構造を見抜いて、それにモナドと名前を付けた > > まぁその応用は発明に近いかも知れんが > > Moggi氏が、言語の表示的意味論の構造を要素分解するのに、 > そのモナドという眼鏡（見方・枠組み）が使えることを見いだした > > で、Wadler氏が、表示的意味論に使えるのなら、 > ある意味それに近い関数型言語にも利用できると閃いた
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.025s