[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
921: 2021/10/06(水)22:57 ID:MRfRTuXd(1) AAS
関数モナドと同じように、引数一つ取るモナド作ったらambiguousって怒られるかなと思ったんだけど、コンストラクタ書かないとならないからうまくいかない。
この値は関数モナドにしか解決されないのかな
922: 2021/10/07(木)09:52 ID:AVdaEi5L(1) AAS
C++のoperator()()に相当する演算を多重定義できないので曖昧ではない
923: 2021/10/17(日)18:41 ID:DQz0YbVB(1/2) AAS
なんｊでめんだこって言う女装子がhaskell勉強していてdao of functional programmingっていう海外の人が書いた文献がわかりやすいってことでそれ読んでいるらしいが
ここの人にもそれ読んでいる人いる？
924(2): 2021/10/17(日)20:11 ID:LTEsEtXo(1/2) AAS
これか
The Dao of Functional Programming
外部ﾘﾝｸ[pdf]:github.com
圏論関係の内容だな
925: 2021/10/17(日)20:37 ID:DQz0YbVB(2/2) AAS
>>924
すまんリンク探させてしまってすまない
ワイが貼るべきやった
ワイは圏論わからないから読まずじまいだったわ
いつか圏論習得できたらその際に読もうかなって思ってる
926: 2021/10/17(日)21:08 ID:LTEsEtXo(2/2) AAS
プログラミングの本質を学ぶには圏論について学ぶ必要があるということらしい
学んですぐ役立つというものではないようで、すぐ役立つ知識がお望みなら他をあたってくれ、とか
927: 2021/10/17(日)23:35 ID:QqhGhKAl(1) AAS
見せてもらおうか、圏論とやらを。
928: 2021/10/18(月)00:33 ID:BIt/UTxD(1) AAS
>>924
同じ著者の
Category Theory for Programmers
外部ﾘﾝｸ:github.com
929: 2021/10/18(月)02:49 ID:mrfOLNSK(1) AAS
また圏論か
もういいよ
930: 2021/10/18(月)12:08 ID:7GcdH/zA(1) AAS
さあ ねがいを いえ
931: 2021/10/18(月)15:15 ID:r9t2S6+p(1) AAS
動画ﾘﾝｸ[YouTube]
外部ﾘﾝｸ[html]:bangumi.ouj.ac.jp
932: 2021/10/22(金)12:14 ID:9P3eVRHd(1) AAS
Free monad とは何か？ の、シンプルかつ的を射た説明がsrackoverflowにあった。
(John Wiegley の回答)
外部ﾘﾝｸ:stackoverflow.com
これを読んでから他の色んなFree monadの記事を読むと、すんなり理解できる。
これ、本質がよく解っている人の回答だよね。
こんな格好良く回答ができるよう精進したい。
933: 2021/10/22(金)21:20 AA×
934: 2021/10/22(金)23:18 ID:5ielnrPe(1) AAS
haskellってpythonに影響与えてるんやな
どおりで雰囲気似てる感じするんか
935: 2021/10/23(土)01:09 ID:o3xA5lbA(1) AAS
レイアウトと呼ばれるインデントスタイルは、Pythonが1991年に最初にリリースであり、85年以前にあった
Mirandaを参考に1990年にHaskellは登場したはず。
936(3): 2021/10/29(金)12:55 ID:SqmTIce6(1) AAS
不動点演算子がわからなくて泣ける
再帰呼び出しになってないのに再帰になってるのはわかるんだけど
937(1): 2021/10/29(金)18:35 ID:ZN5Hp6rJ(1/2) AAS
>>936
何が分からないのか分からない
938(1): 2021/10/29(金)18:40 ID:uCUCIWXe(1) AAS
>>937
なんでわかるんや？
才能か？
後不動点定理がわからん
勉強しろって言われてるけど
939: 2021/10/29(金)20:05 ID:1mMf/Evz(1) AAS
遅延評価の才能がないと x = f x を思いつかないんだよな
y f = f (y f) しか分からない
940: 2021/10/29(金)21:04 ID:ZN5Hp6rJ(2/2) AAS
>>936 の何もかもが、こちらには分からない。
愚痴を言いたいだけなのか、それとも何か質問をしたいのか。
後者なら、質問内容は何か。
>>938
> 後不動点定理がわからん
それだけなら、勉強してくださいとしか言いようがない。
勉強しろと言われているのなら、何か資料が配られたり、
参考文献が挙げられたりしていないのか？
そういうのが既にあるのなら、取りあえず全てに当たって、
今分かる部分と分からない部分を徹底的に細かく仕訳してみればいいのでは？
941: 2021/11/05(金)06:38 ID:UB8UVAT8(1) AAS
>>936
分からないのは何故再帰処理してるのかじゃなくて（そこは定義的に明らかだし）、
どうして無限ループせずに終了するのかでいいのかな
942(1): 2021/11/14(日)05:07 ID:HK5ctRa0(1) AAS
やっと Monad クラスから return が消えるよ
まだ計画段階たけど
外部ﾘﾝｸ:github.com
943(1): 2021/11/14(日)21:26 ID:bsdXePE0(1) AAS
なんで消すの？
944(1): 2021/11/15(月)02:14 ID:jBQU3T8q(1) AAS
>>943
Applicativeクラスにpure関数があるから。
Monad則やApplicative則を満たしてるなら、
まず間違いなく pure = return だから片方で充分。
それにreturnって名前があまりに実態とかけ離れてるしね。
945(1): 2021/11/15(月)12:46 ID:KyLp+2Ep(1) AAS
初歩的な質問ですが、複数の設定ファイル読み込みするのに
readFile で全体取得してから処理するのと
withFile で hGetLine しながら処理するのではどちらがいいとかありますか?
主に処理速度の点について聞きたいです。
946: 2021/11/15(月)18:22 ID:W9vQbDtp(1) AAS
>>945
そういうのは、自分で実験すればすぐに確かめられるのでは？
947(1): 2021/11/15(月)21:51 ID:NLyY6NK4(1) AAS
>>944
Applicativeにpureがあるのはなんで？
Monadのreturnだけにするのは変ですか？
零元がApplicativeの責務なのがピンときてないんです。Monadだと何と合わないんでしょう
948: 2021/11/16(火)02:22 ID:EE8p/B0u(1) AAS
>>947
できるだけ一次情報に当たりましょう。
>>942 のリンク先の Planned: remove return from Monad の項目の
Proposal のリンク先を読んで下さい。
(更にその先の dudcusdion なども)
それが最も正確で、かつ、分かりやすいです。
949: 2021/11/16(火)21:38 ID:au51kzu/(1) AAS
正確に綴ってくれ
950(1): 2021/11/16(火)22:40 ID:t6DDIn3B(1/2) AAS
読んでみたけどよくわかんないなあ。AMPを満たすためにApplicative m => Monad mが必要ってことは書いてあるようだけど
Monadからreturnを削除して、pureに統一する理由って書いてあるかな？
読み飛ばしたかもしれんけど。
return = pureだから、統一しても同じっていうのは分かるんだけど、Applicativeにpureが必要な理由がわからない。
Applicativeの4つのルールを満たすためにpureが必要なことは、Applicativeの定義に書いてあるけど、圏論わかんないから、このルールが何で必要なのか分からん。
Monoidal Functor？とかいうやつの表現のために単位元(零元じゃなかったね)が必要なんだろうけど、圏論わからんないから分からん。
Monoidと関係あるんだろうか。それなら加法のために単位元が必要なのはわかるんだけど。
上下前次1-新書関写板覧索設栞歴
あと 52 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.036s