関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
534: デフォルトの名無しさん [sage] 2024/10/06(日) 01:53:03.98 ID:6zQjUfx4(1/3) AAS
いま正常性バイアスを理解した
全て正常だと仮定する
なるほど
535(1): デフォルトの名無しさん [sage] 2024/10/06(日) 10:54:18.58 ID:jCq2z3ec(1/2) AAS
本来Haskell使う上で必要のない数学の知識をかじらされるのかわいそう
こうやって無駄に間口狭めてなんの意味があるんだか
536: デフォルトの名無しさん [sage] 2024/10/06(日) 11:09:45.81 ID:y6HCCYtz(1) AAS
>>530530(2): デフォルトの名無しさん [] 2024/10/05(土) 22:07:16.25 ID:JByJwyk5(3/4) AAS
>>528
ありがとうございます。
手探りだったので、助かります。
重点的に勉強してみます。
（高卒にどこまで理解できるか…）
>>529
一応、区別付いてるつもりなのですが…。
指摘していただければ調べてみます。
に関しては同情すんな
>>373373(2): デフォルトの名無しさん [] 2024/09/30(月) 00:30:17.34 ID:Kh4w53R0(1/2) AAS
>>368
高卒の自分でも理解できるんだから、難しいわけではないんだけど。
何度も出てる通り、必ずしもモナドを理解する必要はないし。
そもそも自分がプログラマーの頃だって、12－13時間働いた後も新しいプログラミング言語や数学勉強してたぞ。
（新しい仕事のために学びたくない言語に時間使う事も）
高卒が圏論みたいな大学数学学ぶには専門用語がそもそも分らんから、用語が分かるまで遡った。
（アーベル圏のアーベルが分からないレベルからのスタート）
自分に投資できないと淘汰されるぞ。
前後で煽っておいて炎上勉強法してる
537: デフォルトの名無しさん [sage] 2024/10/06(日) 12:50:07.74 ID:6zQjUfx4(2/3) AAS
>>535
だから、具体例をかじることなく一般圏論でやめておこうって言ってるじゃないか
バランスを考えて妥協するとはそういうことだ
538: デフォルトの名無しさん [sage] 2024/10/06(日) 13:58:19.62 ID:jCq2z3ec(2/2) AAS
まず圏論が必要ないっての
539(1): デフォルトの名無しさん [sage] 2024/10/06(日) 14:19:17.49 ID:6zQjUfx4(3/3) AAS
それは極論だがそれを許容する代わりに反対側の極論も許容してもらう
ダブルヘイターとは違うのだよ
540: デフォルトの名無しさん [sage] 2024/10/07(月) 16:51:22.87 ID:89HfDe1C(1) AAS
>>539
君頭悪いなら無理に書き込まないほうがいいよ
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版
これを読めばモナドの使い方がわかる
上下前次1-新書関写板覧索設栞歴
あと 134 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s