24/11/09 18:05:52.30 4Q5b7QAO.net
やっぱ知らなかったか。そりゃ理解できないわ。
Haskellerに多いんじゃない？直接対応するのKleisli tripleってこと知らない人。
圏論の基礎の初めのあたりにモナドとモノイドとの対比が載ってるから広がったんだと思うけど、
モノイド知っても何か足しになるとは思えない。
そういえば、『圏論の歩き方』にKleisli圏の例が載っていた気がする。代数じゃなくてたしか確率だったけど。
72:１３２人目の素数さん
24/11/09 18:54:40.41 FY91cDX6.net
>>71
>Haskellerに多いんじゃない？直接対応するのKleisli tripleってこと知らない人。
多いと思います。
圏論の入門書買ってまで勉強する人は少ないですし、数学が理解できる人もさらに少ないので。
私は数学理解できなかったので、今数学の学び直しからです。
（アーベル圏のアーベルって何?状態で、アーベル = 可換と群論で知った感じです）
歩き方の方ですか、道案内の方は持ってるのですが、著者が同じなので読み直そうかな。
73:１３２人目の素数さん
24/11/10 15:35:28.43 KGofMs6x.net
関数型プログラミング言語Haskell Part34
ｽﾚﾘﾝｸ(tech板)
74:１３２人目の素数さん
24/11/10 15:36:14.60 KGofMs6x.net
「数学」をプログラミングするには
ｽﾚﾘﾝｸ(tech板)
75:１３２人目の素数さん
24/11/20 18:01:21.84 gLlwGP4V.net
まず大前提としてHaskellをやるのに圏論は必要ないし得るものもないってところから理解しよう
76:１３２人目の素数さん
24/11/20 20:29:01.13 L0XHfTdv.net
>>1
必要ない。ラムダ計算論は知っておいていいとは思うが、オブジェクト志向に役立つ
数学理論というのは特にないだろう
それよりも具体的に作りたいソフトウェアとコンパイルを意識しながら簡潔なコーディングを考える訓練をしたほうがいい
77:１３２人目の素数さん
24/11/21 07:45:36.85 jE2BR9oB.net
すんません、オブジェクト指向ってなんですか？
78:１３２人目の素数さん
24/11/23 11:30:35.70 ZZ2Yx3Ws.net
最新最強の言語Rustを学べば
オブジェクト指向や関数型プログラミングが何かの議論も意味を成さなくなる
79:１３２人目の素数さん
24/11/23 12:08:01.22 GI4x0ZEB.net
何をするか、どんな処理をするかではなく
どんなものを処理していくのかを起点にコードを整理していく技術
80:１３２人目の素数さん
24/11/23 15:51:33.83 cGdJuX+x.net
一階論理は完全だけど二階論理は不完全である
81:１３２人目の素数さん
24/11/25 16:05:29.16 Jt/hI90E.net
すみません、ちょっと内々に聞きたいことがあるのですが、
とある会社が詐欺をしている証拠を発見しまして、あまり公には書けない内容なのですが
このスレにseoとドメインについて多少知識のある方いますか？
もし質問に答えていただける方居ましたら、メール欄に使い捨てのメルアドでも貼っていただければ、そちらにメールさせていただきますので
使い捨てメアドはワンタイムメールってのが使いやすいです
よろしくお願いいたします
82:１３２人目の素数さん
24/11/25 16:43:31.86 Jt/hI90E.net
>>81
本当は専門スレの方で質問したいんですけど、犯人がそっちの方のスレとかも見てるらしいので
そちらでは質問しませんでした
83:１３２人目の素数さん
24/12/06 03:58:04.01 psUqlDz4.net
スレチだよ
専門スレに行け