- 関数型プログラミング言語Haskell Part26
660 :デフォルトの名無しさん[sage]:2014/12/13(土) 00:26:21.40 ID:/wm7pCNP - 米田の補題をHaskellで学べるとは…
|
- 関数型プログラミング言語Haskell Part26
672 :名無しさん@そうだ選挙に行こう[sage]:2014/12/13(土) 17:52:25.71 ID:/wm7pCNP - >>671
圏論の方が抽象度が高いから
|
- プログラミング言語 Scala 10冊目
637 :名無しさん@そうだ選挙に行こう[sage]:2014/12/13(土) 18:04:37.26 ID:/wm7pCNP - >>634
C++を使うくらいなら、Cの構造体を駆使して頑張るよ
|
- Pythonのお勉強 Part50
280 :名無しさん@そうだ選挙に行こう[sage]:2014/12/13(土) 18:06:39.21 ID:/wm7pCNP - >>279
Basicの同人誌ならだしたことある 今年はPythonにトライしてみようかな
|
- プログラミング言語 Scala 10冊目
639 :名無しさん@そうだ選挙に行こう[sage]:2014/12/13(土) 20:34:32.79 ID:/wm7pCNP - プログラムの計算の列を抽象化したものがモナド
つまり、どの言語にもモナドが隠れている 逆に、モナドを明示的に示す形でしか計算の列を書けなくしたのがHaskell
|
- プログラミング言語 Scala 10冊目
641 :名無しさん@そうだ選挙に行こう[sage]:2014/12/13(土) 21:21:40.33 ID:/wm7pCNP - >>640
「意味のある」の意味が、「論文をたくさんかける」「実際に動くコードを使った計算理論の説明がしやすい」なら、その通りです
|