[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
55: 2019/02/03(日)21:51:42.20 ID:5bolWXfM(13/36) AAS
>>51
fact(1)はfact(n-1)によってfact(0)になるよね
実は式自体が予想外の評価するってことなのかな？
いやまさかね・・
89: 2019/02/03(日)22:33:23.20 ID:DVkCUlxV(11/11) AAS
この人 ７７で書いてるけど、文法まともに読んでないんだよ
Haskell 文法自体は一見綺麗で簡単そうに見えるけど
実際には、理解するのが非常に難しい（今回の再帰のとこじゃないんだけど）
適当に文法流し読みして理解しようとするのが 間違っている
もっとも、階乗の再帰は、他の人の説明で理解できるだろうと思うが
136: 2019/02/04(月)22:09:21.20 ID:fVmYxPyX(1) AAS
>>133
代わりにスペースリークするけどな
139: 2019/02/05(火)03:02:15.20 ID:/sjztfrr(1) AAS
ごいごいすー！
288: 2019/03/25(月)22:23:26.20 ID:PHYb4OS3(3/3) AAS
全く読んでないがパラダイムと論理は同じではない
パラダイムの限界と論理の限界は同じではない
312(1): 2019/04/29(月)10:21:15.20 ID:La7Zhpj6(1) AAS
stack or cabal どっちを使えばいいんだ
402: 2019/07/02(火)12:46:31.20 ID:+JGifkmy(1/2) AAS
hackageのcabal-installのbootstrap.shをクリックしても
Page not found: Sorry, it's just not here.
とでてダウンロードできないのだが？
517: 2019/10/08(火)23:42:31.20 ID:ELFSZFvj(7/7) AAS
どういたしまして！
基本文法は簡単だから文法エラーはすぐにほとんど出なくなります。
そこまでいったら初級編終了。
597: 2019/10/21(月)16:22:57.20 ID:5+ah6i6T(1) AAS
知らん用語が出て来るから初学者で戸惑う人が多いだろうが
内容は小学生でも理解出来るレベル
598(1): 2019/10/21(月)16:52:11.20 ID:D03iscrb(1) AAS
Basic Category Theory, Tom Leinster
英語で読んだ
622(2): 2019/10/24(木)01:57:21.20 ID:/X6zPP1d(1/2) AAS
>>613
> そういう人間が圏論の計算論への応用を勉強したいときオススメの教科書、参考書は何かご存知ですか？
> 抽象圏論や数学基礎論も少しかじった事があるのでその手の話が出てきてもあまり困る事はないと思ってます。
理論計算機科学（以下、TCSと略）への圏論の応用を勉強したいのならば、最もベーシックなテキストとしては
1. Andrea Asperti & Giuseppe Longo: Categories, Types, and Structures, 306+xii pp., MIT Press (1991)
型理論として単純型付きλ計算と２階の型付きλ計算それぞれに対する圏論的意味論を議論している他、
型無しλ計算の意味論を展開する上で不可欠な再帰的領域方程式とその解に対する圏論的な見方も解説している。
更にHaskellなどで喧しいモナドやKreisel圏についても解説している。（関数プログラミング言語へのモナドの応用は
本書の著者の１人であるLongoの論文から全てが始まった）
この本の最大の欠点は誤植がとても多いことと昔のMacで書かれていてテキスト中の数式も図も美しくないことだ。
省10
699: 2019/11/04(月)21:01:45.20 ID:0O6JYxLK(1) AAS
キモすぎてわろた
856(1): 2019/12/18(水)09:15:25.20 ID:fJHQ6oEy(1) AAS
え、岡部健ってQuoraで暴れてたの？
アカウント停止はまた癇癪起こして名誉毀損してたとかが理由？？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s