[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
関数型プログラミング言語Haskell Part32 http://mevius.5ch.net/test/read.cgi/tech/1548720347/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
6: デフォルトの名無しさん [sage] 2019/01/31(木) 20:10:32.50 ID:KXLDvKfy IOモナドは手続きモナド http://mevius.5ch.net/test/read.cgi/tech/1548720347/6
230: デフォルトの名無しさん [sage] 2019/03/10(日) 04:06:11.50 ID:0rKUQSsg >>229 それでも理解したいのなら質問すればいい http://mevius.5ch.net/test/read.cgi/tech/1548720347/230
248: デフォルトの名無しさん [] 2019/03/22(金) 14:11:11.50 ID:t/nkQ3ne まあ要はcounter関数はswap関数と同じですよ。 手続き型言語ではソートや繰り返しに必須ですが、関数型言語で各種ソート作る時にswap関数は使った事がない。 木を見て森を見ずというか、counter関数を何に使うの？って話で、カウンターとしての用途なら再帰関数の引数でf (x + 1)とか渡せば良いだけですし。 loop10 n | n > 10 = return () loop10 n = print n >> getLine >> loop10 (n + 1) http://mevius.5ch.net/test/read.cgi/tech/1548720347/248
530: デフォルトの名無しさん [sage] 2019/10/12(土) 02:25:29.50 ID:gzpbrH7N >>528 >>510です では、 mylist :: Int -> [[Int]] mylist n = take n (chop n [1..]) http://mevius.5ch.net/test/read.cgi/tech/1548720347/530
731: デフォルトの名無しさん [sage] 2019/11/07(木) 06:48:07.50 ID:OeHLbL3M F#が遅いって適当なこと言ってんな http://mevius.5ch.net/test/read.cgi/tech/1548720347/731
821: デフォルトの名無しさん [sage] 2019/12/01(日) 18:31:03.50 ID:XkMP/E25 >圏論的モデルというのは本来の（数理論理学での）意味での具体的なモデルでなくて >与えられた理論に対するモデル全般が満たすべき性質の圏論による公理化とでも言ったほうが良い感じの代物だからね なるほど、数学基礎論の方面をあんま知らんからそういう発想になるわけか。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/821
880: デフォルトの名無しさん [sage] 2019/12/23(月) 21:51:15.50 ID:pH3djwe1 >>876 Parsec の開発は今や"メンテナンスモード"に入っていて、代わりに attoparsec や megaparsec が活発。 https://haskell.e-bigmoon.com/posts/2019/07-14-megaparsec-tutorial.html http://mevius.5ch.net/test/read.cgi/tech/1548720347/880
896: デフォルトの名無しさん [sage] 2019/12/29(日) 00:21:25.50 ID:J8aGFBX9 自家用ジェット機と大型旅客機みたいなイメージかな http://mevius.5ch.net/test/read.cgi/tech/1548720347/896
897: デフォルトの名無しさん [sage] 2019/12/29(日) 11:10:02.50 ID:09k8oxGS 死ぬことなく成功させた例 https://serokell.io/blog/top-software-written-in-haskell http://mevius.5ch.net/test/read.cgi/tech/1548720347/897
919: デフォルトの名無しさん [sage] 2020/01/01(水) 09:08:22.50 ID:msO/HyKq >>918 いいよ。モナドは手続きを実現するのに役立つ抽象だよ。 でもアプリカティブで用が足りるならアプリカティブを使うべき。 IO モナドを do で合成するシーンが多いならリファクタリングの余地があるかも。 Control.Monad や Control.Applicative のユーティリティが利用できないか検討してみて http://mevius.5ch.net/test/read.cgi/tech/1548720347/919
975: デフォルトの名無しさん [sage] 2020/02/05(水) 21:42:26.50 ID:/Jhw33Vx 一つ言えるのは圏論ってなんか語りたくなっちゃうものなんだということ。 プログラムにおいては全く意味はない。 計算機の動きを抽象化する道具としてそんな筋のいいものではない。 数論でも勉強するなら意味はあるだろうが。 http://mevius.5ch.net/test/read.cgi/tech/1548720347/975
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.056s