関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
541(1): デフォルトの名無しさん [sage] 2024/10/08(火) 16:34:43.77 ID:uOPPJ/Hn(1/2) AAS
圏論好きはHaskellよりCPLで幸せになれる
542(1): デフォルトの名無しさん [] 2024/10/08(火) 19:19:24.66 ID:fXGz3G0z(1/2) AAS
>>529集合と写像って違うんですか？写像って集合ではなかったですか？
543(1): デフォルトの名無しさん [] 2024/10/08(火) 19:24:10.23 ID:u3fJk7wa(1) AAS
>>541
CPLとは？ｋｗｓｋ
544(1): デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq(1) AAS
>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ
545: デフォルトの名無しさん [] 2024/10/08(火) 20:00:43.25 ID:fXGz3G0z(2/2) AAS
>>544
なるほど。勉強になります。
546(1): デフォルトの名無しさん [sage] 2024/10/08(火) 20:58:36.65 ID:uOPPJ/Hn(2/2) AAS
>>543
CPL (圏論プログラミング言語)
外部ﾘﾝｸ:ja.m.wikipedia.org
547: デフォルトの名無しさん [sage] 2024/10/08(火) 21:59:10.54 ID:fIGAPb3c(1) AAS
CPL使ったことは一度もないが
関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ
548: デフォルトの名無しさん [sage] 2024/10/08(火) 23:08:48.38 ID:Fz/Eetv9(1) AAS
こんなんだけど
>通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない.
>また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない.
549: デフォルトの名無しさん [] 2024/10/09(水) 00:11:45.00 ID:NBQjGpZO(1) AAS
O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。
550: デフォルトの名無しさん [] 2024/10/09(水) 20:31:07.90 ID:UpCIlB6y(1) AAS
>>546
Thenks！！
551: デフォルトの名無しさん [sage] 2024/10/12(土) 20:07:00.42 ID:fyUcodga(1) AAS
初心者はStack、ガチムチはCabalで開発するんですか？
552: デフォルトの名無しさん [sage] 2024/10/15(火) 05:30:10.38 ID:CzVFQLgH(1) AAS
みんなStackだよ
Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし
553: デフォルトの名無しさん [] 2024/10/15(火) 22:34:15.38 ID:2I09ehic(1) AAS
詳しい情報サンクス
CabalやめてStackに帰ります
GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします
554: デフォルトの名無しさん [sage] 2024/10/16(水) 05:04:51.74 ID:PvdZsye3(1) AAS
ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました
やっぱStackすわ
555: デフォルトの名無しさん [sage] 2024/10/18(金) 18:33:56.50 ID:358zSdqs(1) AAS
別に不具合あったわけじゃないならよくね
みんなとか言い出したらそもそもみんなhaskellなんか使ってないが
556(1): デフォルトの名無しさん [] 2024/10/25(金) 23:46:50.40 ID:jl3K3ThU(1) AAS
Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？
Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった
その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい
あるいは最近の書籍でよりおすすめというものでも
557(1): 警備員[Lv.3][新芽] [sage] 2024/10/25(金) 23:58:48.00 ID:ss1i659U(1) AAS
ちょっと古い情報だけど、
僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような
いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合
558(1): デフォルトの名無しさん [sage] 2024/10/26(土) 01:14:59.65 ID:jaMDzNJq(1/2) AAS
>>556
ラムダノートのプログラミングHaskell第2版
これを読めばモナドの使い方がわかる
559(1): デフォルトの名無しさん [] 2024/10/26(土) 13:33:26.33 ID:qze4GRwI(1) AAS
モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか
560: デフォルトの名無しさん [sage] 2024/10/26(土) 14:33:50.42 ID:jaMDzNJq(2/2) AAS
ない
別に理論的な部分はすっ飛ばしていいよ
純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい
全てはdo記法にため
561: デフォルトの名無しさん [] 2024/10/26(土) 18:20:45.25 ID:QG40CL6R(1) AAS
>>559
だったらCleanはどうでせう？
モナドの代わりに線形何たらっての使ってる。
副作用関数を使い捨て関数と捉える概念らしいけど…。
変数は引数のない関数と捉えられるので、入力関数も外部で代入する変数と捉えられる。
んで、
return 0 >>= \x -> return (x + 1) >>= \x -> return (x + 1) = 2
は
return 0 >>= (\x -> return (x + 1) >>= (\x -> return (x + 1)))
と解釈されて、(\x -> ...) 部分が１個のラムダ式（関数）の上に階層構造なので、同名の変数 x はシャドーイングで古い値は隠される。
（そして隠されたら他から参照されなくなるのでGCでメモリを解放される）
IOモナドな入力関数も引数が無いので、値を外部で代入する変数と捉え、シャドーイングで古い値は隠されると考えると、線形何たらの使い捨て副作用関数と同じことしてる。
562: デフォルトの名無しさん [] 2024/10/28(月) 07:23:18.71 ID:duvMwVsG(1/2) AAS
>>557 >>558
ありがとう
まずはラムダノートのプログラミングHaskellを買いました
すごいH本はもう一冊読もうと思って時に買います
563(1): デフォルトの名無しさん [sage] 2024/10/28(月) 11:18:21.59 ID:ABlPDVd9(1) AAS
すごいエロい本か
564: デフォルトの名無しさん [sage] 2024/10/28(月) 16:01:27.57 ID:3PX2guVI(1) AAS
>>563
それ面白いと思ってレスしてんの?
565: デフォルトの名無しさん [sage] 2024/10/28(月) 17:13:55.02 ID:B1OBTGXf(1/2) AAS
10年前のtwitterでは鉄板ジョークでしたよ
すごいH
上下前次1-新書関写板覧索設栞歴
あと 127 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s