ﾚｽ書き込み

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

---

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

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

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>804 > >>802 > 色んなものの「共通する性質」や「共通する関係」を抜き出し、 > 具体的な実態では無くその性質や関係のみで以て語るのが「抽象化」だから、 > 抽象化するという意味は同じ > > どう抽象化するかという点で、IO型からObject型へとMonadへとで違いがでる > > Haskell のモナドは (m を Monad クラスのインスタンスとして） > forall a b. m a -> (a -> m b) -> m b > forall a b. m a -> m b -> m b > a -> m a > String -> m a > という４つの「演算で抽象化」してる（うち２つだけで十分だが） > > 特にモナド同士の演算がまたモナドになるという性質と、 > モナドの外からはモナドの具体的な実態は見えないという性質が特徴的だから、 > そういう性質が活かせるところでもてはやされる > > オブジェクト指向のObject型がどういう性質の抽象化なのかは忘れた
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

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

---

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

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s