関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
521: デフォルトの名無しさん [sage] 2024/10/05(土) 11:40:17.86 ID:gdCH0E84 圏論のコンコルド効果について。 Haskellのコーティングの質をあげようと、 一生懸命頑張って勉強したのに実はほとんど役に立たない… 「大量の時間と労力を学習したのに悔しい！」 そのことを認めることができず、懸命に圏論のプログラミングでの有用性を力説し、学習布教に努める。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/521
522: デフォルトの名無しさん [sage] 2024/10/05(土) 13:16:57.88 ID:AoKf42Y0 >>519 異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ？ IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能 http://mevius.5ch.net/test/read.cgi/tech/1639713446/522
523: デフォルトの名無しさん [sage] 2024/10/05(土) 13:51:21.32 ID:2BBo/yBe 数日程度で成果を出す戦略を採用したにもかかわらず何年も戦争が続く こういうのは圏論に限定されない現象だ 順序を入れかえたら結果が変わる 数日後の情報が今ここに伝わるならそれは時間軸とは言えないぞ http://mevius.5ch.net/test/read.cgi/tech/1639713446/523
524: デフォルトの名無しさん [sage] 2024/10/05(土) 14:41:11.81 ID:hOtauQiF >>522 IO a >>= (a -> IO b) -> IO b は (IO a >>= (a -> IO b)) -> IO b であって IO a >>= ((a -> IO b) -> IO b) にはならないよ (>>=)は演算子 http://mevius.5ch.net/test/read.cgi/tech/1639713446/524
525: デフォルトの名無しさん [sage] 2024/10/05(土) 15:10:26.09 ID:u1hwkRNd 圏論の話題出すなよ Haskellで何か書くにあたって利益があるわけじゃないんだから http://mevius.5ch.net/test/read.cgi/tech/1639713446/525
526: デフォルトの名無しさん [sage] 2024/10/05(土) 15:30:46.49 ID:2BBo/yBe 利益は道徳よりも軽い これも、未来予知ができなければ利益を計算できないことに原因がある http://mevius.5ch.net/test/read.cgi/tech/1639713446/526
527: デフォルトの名無しさん [] 2024/10/05(土) 17:25:54.13 ID:JByJwyk5 >>521 役に立つなら、もっと色々入ってるかと…。 私はむしろHaskellより圏論そのものに興味の対象が移って、Haskellは圏論の概念を実際に動かしてみるための道具に成り下がってますね＾＾； とはいえ、数学の知識不足なので群論やらトポロジーやらあっちこっち読み漁りながらなので、歩みは遅いですが…。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/527
528: デフォルトの名無しさん [sage] 2024/10/05(土) 20:22:21.95 ID:J2mQEu2j >>527 面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします http://mevius.5ch.net/test/read.cgi/tech/1639713446/528
529: デフォルトの名無しさん [sage] 2024/10/05(土) 20:30:18.78 ID:aeHKoAMv 集合と写像の区別もついてないんだから、集合と位相からやらないとだめ http://mevius.5ch.net/test/read.cgi/tech/1639713446/529
530: デフォルトの名無しさん [] 2024/10/05(土) 22:07:16.25 ID:JByJwyk5 >>528 ありがとうございます。 手探りだったので、助かります。 重点的に勉強してみます。 （高卒にどこまで理解できるか…） >>529 一応、区別付いてるつもりなのですが…。 指摘していただければ調べてみます。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/530
531: デフォルトの名無しさん [sage] 2024/10/05(土) 22:16:56.83 ID:aeHKoAMv >>530 あー上で暴れてた人とは別人だったのね でも、集合と位相は何をやるにしても必要だから頑張ってね http://mevius.5ch.net/test/read.cgi/tech/1639713446/531
532: デフォルトの名無しさん [sage] 2024/10/05(土) 23:30:55.73 ID:bPGp2ASj >>373=396=530 っぽいから言うと、(数学に関して)「分かった」「理解した」の自己基準が不安しかない > ほら、分かってみれば「なーんだ。そんなことか」でしょ？ > なるほど、って感じ。 と自分に言い聞かせていても、ポピュラーサイエンス書感覚で読んだってダメ 他人との議論では、逆に「こいつ分かってないな」と思われるだけだからな http://mevius.5ch.net/test/read.cgi/tech/1639713446/532
533: デフォルトの名無しさん [] 2024/10/05(土) 23:50:06.63 ID:JByJwyk5 >>532 独学ですしね＾＾； こいつ分かってないなと思われても良いですよ？ それで指摘されたものも新しい知識になるので。 どうも定義を読むだけじゃイメージ湧かないので、ネット上や数学書の複数の例え話が全て真だと仮定して、共通の特徴からイメージを掴むパターンが多いんです。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/533
534: デフォルトの名無しさん [sage] 2024/10/06(日) 01:53:03.98 ID:6zQjUfx4 いま正常性バイアスを理解した 全て正常だと仮定する なるほど http://mevius.5ch.net/test/read.cgi/tech/1639713446/534
535: デフォルトの名無しさん [sage] 2024/10/06(日) 10:54:18.58 ID:jCq2z3ec 本来Haskell使う上で必要のない数学の知識をかじらされるのかわいそう こうやって無駄に間口狭めてなんの意味があるんだか http://mevius.5ch.net/test/read.cgi/tech/1639713446/535
536: デフォルトの名無しさん [sage] 2024/10/06(日) 11:09:45.81 ID:y6HCCYtz >>530に関しては同情すんな >>373前後で煽っておいて炎上勉強法してる http://mevius.5ch.net/test/read.cgi/tech/1639713446/536
537: デフォルトの名無しさん [sage] 2024/10/06(日) 12:50:07.74 ID:6zQjUfx4 >>535 だから、具体例をかじることなく一般圏論でやめておこうって言ってるじゃないか バランスを考えて妥協するとはそういうことだ http://mevius.5ch.net/test/read.cgi/tech/1639713446/537
538: デフォルトの名無しさん [sage] 2024/10/06(日) 13:58:19.62 ID:jCq2z3ec まず圏論が必要ないっての http://mevius.5ch.net/test/read.cgi/tech/1639713446/538
539: デフォルトの名無しさん [sage] 2024/10/06(日) 14:19:17.49 ID:6zQjUfx4 それは極論だがそれを許容する代わりに反対側の極論も許容してもらう ダブルヘイターとは違うのだよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/539
540: デフォルトの名無しさん [sage] 2024/10/07(月) 16:51:22.87 ID:89HfDe1C >>539 君頭悪いなら無理に書き込まないほうがいいよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/540
541: デフォルトの名無しさん [sage] 2024/10/08(火) 16:34:43.77 ID:uOPPJ/Hn 圏論好きはHaskellよりCPLで幸せになれる http://mevius.5ch.net/test/read.cgi/tech/1639713446/541
542: デフォルトの名無しさん [] 2024/10/08(火) 19:19:24.66 ID:fXGz3G0z >>529 集合と写像って違うんですか？写像って集合ではなかったですか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/542
543: デフォルトの名無しさん [] 2024/10/08(火) 19:24:10.23 ID:u3fJk7wa >>541 CPLとは？ｋｗｓｋ http://mevius.5ch.net/test/read.cgi/tech/1639713446/543
544: デフォルトの名無しさん [sage] 2024/10/08(火) 19:35:49.07 ID:i8KKt4Pq >>542 反対向きは成り立たないよ 彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ http://mevius.5ch.net/test/read.cgi/tech/1639713446/544
545: デフォルトの名無しさん [] 2024/10/08(火) 20:00:43.25 ID:fXGz3G0z >>544 なるほど。勉強になります。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/545
546: デフォルトの名無しさん [sage] 2024/10/08(火) 20:58:36.65 ID:uOPPJ/Hn >>543 CPL (圏論プログラミング言語) https://ja.m.wikipedia.org/wiki/CPL_(%E5%9C%8F%E8%AB%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E) http://mevius.5ch.net/test/read.cgi/tech/1639713446/546
547: デフォルトの名無しさん [sage] 2024/10/08(火) 21:59:10.54 ID:fIGAPb3c CPL使ったことは一度もないが 関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/547
548: デフォルトの名無しさん [sage] 2024/10/08(火) 23:08:48.38 ID:Fz/Eetv9 こんなんだけど >通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない. >また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない. http://mevius.5ch.net/test/read.cgi/tech/1639713446/548
549: デフォルトの名無しさん [] 2024/10/09(水) 00:11:45.00 ID:NBQjGpZO O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/549
550: デフォルトの名無しさん [] 2024/10/09(水) 20:31:07.90 ID:UpCIlB6y >>546 Thenks！！ http://mevius.5ch.net/test/read.cgi/tech/1639713446/550
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 117 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s