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