トップページ > プログラム > 2014年09月19日 > KT7u8M0C

書き込み順位＆時間帯一覧

24 位/221 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000000000110103



使用した名前一覧書き込んだスレッド一覧
１
集合論に基づいた言語を作りたい

書き込みレス一覧

集合論に基づいた言語を作りたい
291 ：１[sage]：2014/09/19(金) 19:22:36.10 ID:KT7u8M0C
＞そういうデータの一塊であるMonadiusが、 updateMonadius, renderMonadius, isMonadiusOverという演算に関してGameを成す、と宣言されています。
これが圏論ってやつ？
集合論に基づいた言語を作りたい
293 ：１[sage]：2014/09/19(金) 20:19:26.79 ID:KT7u8M0C
数学は好きだけど下手の横好きだな。
>>291のことがわかればもうちょっとhaskell好きになれそうなんだけど。
集合論に基づいた言語を作りたい
295 ：１[sage]：2014/09/19(金) 22:15:41.15 ID:KT7u8M0C
>>294
よくわからんがC++のテンプレートやjavaのインターフェースともちょっと違う感じ？


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。