全体的な感想：・JavaScriptで無理やり二項演算子を実現しようと言うのは俺から見ると筋が悪い。そこまでJavaScriptにこだわる理由は何だ？・reduceにinitialValueを指定しないと空配列で死ぬ件は最後までフォローがなかった。あるいはreduceをモノイドにしか使ったことがないのか？

2021-12-10 23:07:14

mod_poppo @mod_poppo

・FunctorやMonadを二項演算と言い張っているのは苦しい。圏論を勉強したことがないのがミエミエである。・「タイプコンストラクタ」の用法がおかしい。マジでオブジェクト指向の「コンストラクタ」に引っ張られてる？ワードサラダかと思ったぞ。

2021-12-10 23:09:10

mod_poppo @mod_poppo

・数学的な内容についての参考文献があるのなら知りたい。WikipediaとnLabしか見てない気がする。

2021-12-10 23:13:53

mod_poppo @mod_poppo

@ken80297274 「型は集合」ってnLabのどこに書かれていますか？不勉強なもので、教えていただけると幸いです。

2021-12-11 03:02:35

mod_poppo @mod_poppo

@ken80297274 nLabの記述は高度に抽象的で、初学者には難しいのではないかと思います。最近は日本語で書かれた圏論の書籍も多数ありますし、圏論についてはそういう文献へ誘導するのがより初学者向きかと思います。

2021-12-11 03:04:20

mod_poppo @mod_poppo

@ken80297274 引用されている部分はかなり抜粋されてますよね。nLabの記事全体を読まれましたか？もし読んだ上で「型とは集合のことである」との結論に達したのであれば、記事中の「型」を全部「集合」に置き換えられてはいかがですか？その方が用語が減ってわかりやすくなると思います。

2021-12-11 03:34:43

mod_poppo @mod_poppo

@ken80297274 その本は既に邦訳ありますよね。わかりやすいかは置いておいて。それはさておき、わかりやすさのためであれば初学者は数千円くらいの出費は惜しまないのではないかと思います。

2021-12-11 03:39:27

mod_poppo @mod_poppo

@ken80297274 「型理論の数学」とありますが、「型=集合」であればなぜ「集合論」とは別に「型理論」というものがあるのでしょう？

2021-12-11 03:42:53

mod_poppo @mod_poppo

@ken80297274 圏論の本は読者が欲しいと思えば買えばいいのであって、読者に購入を強制するわけじゃないでしょうに、どうしてその紹介すら避けようとするのですか？Kenさん自身が紹介に足る圏論の書籍をお持ちではないのでしょうか？

2021-12-11 03:46:13

mod_poppo @mod_poppo

Ken Okabe, 他人を啓蒙したいのかレスバで罵倒・マウンティングしたいのか、どっちかにして欲しい

2021-12-11 09:23:32

mod_poppo @mod_poppo

記事を投稿しました！「関数型プログラミングが『銀の弾丸』であるという非常識な常識2022」の感想 on #Qiita qiita.com/mod_poppo/item…

2021-12-11 12:09:26

前へ 1 2 3

いま話題のタグ