[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
276: 2020/04/26(日)17:02:22.77 ID:i7pDRaTP(1) AAS
このスレ住人のことだよ
283: 2020/04/27(月)22:39:13.77 AAS
相対論スレもHaskellスレ同様に荒らされてるの？
348(1): 2020/06/01(月)05:07:50.77 ID:seoK/8uJ(1) AAS
Ocamlを使わないといけなくなっていじり始めたけど、あれもこれも出来なくて不便だな
やたら冗長になるし…
362(1): 2020/06/28(日)10:31:17.77 ID:hu4PmWPn(1) AAS
>>360
レスありがとうございます。
すいません、C++に精通していないため、templateの実体化や宣言の意味がよく分かりません。
件の関数型は次のブログにありました。
Introduction to Singletons (Part 1)
外部ﾘﾝｸ[html]:blog.jle.im
ここの Going backwards の節です。
(昔、別のWebページでも見て、その時も不思議に思っていたのですが、どこのページだったか忘れてしまいました)
そこでは
withSingDSI :: SingDS s -> (SingDSI s => r) -> r
省5
388(1): 2020/08/17(月)19:05:47.77 ID:CFLjXFs2(4/4) AAS
インデントも間違っていないと思いますし、カッコも問題ないと思うのですが。
394: 2020/08/19(水)16:07:34.77 ID:FHOhxH/M(3/4) AAS
nに対して、「mにn+mを対応させる関数」を対応させる関数の表記法として、
add' n m = n + m
を採用するというのが非常に不自然に思います。
483: 2020/09/07(月)20:28:07.77 ID:xmFuETjj(2/2) AAS
関手って圏が持つ「対象と射」同志の関連付けのことだよね？
なぜfmap関数を定義すると関手を実装したことになるの？
681(1): 2021/01/24(日)10:57:12.77 ID:EEhZoft7(1/2) AAS
自分の理解が根本的に間違ってるかもしれんけど
haskellは宣言型で実効順序が定まっていないみたいな話を聞いたんだけど
do記法は普通に上から下に実行されるというイメージになるの？
main = do
x <- readLn
x2 <- readLn
こういう風に書いた場合、最初に入力したものがxに入り、その順番は入れ替えれないはず
do記法はほとんど命令型じゃないの？
IOモナドとかに入力されていくアクション列はその順番を入れ替えれないよね？
どんな感じでコーディングされてるか知らないけど
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s