[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
921: デフォルトの名無しさん [sage] 2021/10/06(水) 22:57:04.48 ID:MRfRTuXd 関数モナドと同じように、引数一つ取るモナド作ったらambiguousって怒られるかなと思ったんだけど、コンストラクタ書かないとならないからうまくいかない。 この値は関数モナドにしか解決されないのかな http://mevius.5ch.net/test/read.cgi/tech/1581326256/921
922: デフォルトの名無しさん [sage] 2021/10/07(木) 09:52:08.72 ID:AVdaEi5L C++のoperator()()に相当する演算を多重定義できないので曖昧ではない http://mevius.5ch.net/test/read.cgi/tech/1581326256/922
923: デフォルトの名無しさん [] 2021/10/17(日) 18:41:32.26 ID:DQz0YbVB なんｊでめんだこって言う女装子がhaskell勉強していてdao of functional programmingっていう海外の人が書いた文献がわかりやすいってことでそれ読んでいるらしいが ここの人にもそれ読んでいる人いる？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/923
924: デフォルトの名無しさん [sage] 2021/10/17(日) 20:11:52.85 ID:LTEsEtXo これか The Dao of Functional Programming https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf 圏論関係の内容だな http://mevius.5ch.net/test/read.cgi/tech/1581326256/924
925: デフォルトの名無しさん [] 2021/10/17(日) 20:37:14.39 ID:DQz0YbVB >>924 すまんリンク探させてしまってすまない ワイが貼るべきやった ワイは圏論わからないから読まずじまいだったわ いつか圏論習得できたらその際に読もうかなって思ってる http://mevius.5ch.net/test/read.cgi/tech/1581326256/925
926: デフォルトの名無しさん [sage] 2021/10/17(日) 21:08:39.75 ID:LTEsEtXo プログラミングの本質を学ぶには圏論について学ぶ必要があるということらしい 学んですぐ役立つというものではないようで、すぐ役立つ知識がお望みなら他をあたってくれ、とか http://mevius.5ch.net/test/read.cgi/tech/1581326256/926
927: デフォルトの名無しさん [] 2021/10/17(日) 23:35:51.47 ID:QqhGhKAl 見せてもらおうか、圏論とやらを。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/927
928: デフォルトの名無しさん [sage] 2021/10/18(月) 00:33:18.04 ID:BIt/UTxD >>924 同じ著者の Category Theory for Programmers https://github.com/hmemcpy/milewski-ctfp-pdf/releases http://mevius.5ch.net/test/read.cgi/tech/1581326256/928
929: デフォルトの名無しさん [] 2021/10/18(月) 02:49:04.06 ID:mrfOLNSK また圏論か もういいよ http://mevius.5ch.net/test/read.cgi/tech/1581326256/929
930: デフォルトの名無しさん [sage] 2021/10/18(月) 12:08:52.29 ID:7GcdH/zA さあ ねがいを いえ http://mevius.5ch.net/test/read.cgi/tech/1581326256/930
931: デフォルトの名無しさん [sage] 2021/10/18(月) 15:15:47.20 ID:r9t2S6+p https://www.youtube.com/watch?v=E-48ent631o https://bangumi.ouj.ac.jp/v4/bslife/detail/156936813.html http://mevius.5ch.net/test/read.cgi/tech/1581326256/931
932: デフォルトの名無しさん [sage] 2021/10/22(金) 12:14:30.91 ID:9P3eVRHd Free monad とは何か？ の、シンプルかつ的を射た説明がsrackoverflowにあった。 (John Wiegley の回答) https://stackoverflow.com/questions/13352205/what-are-free-monads これを読んでから他の色んなFree monadの記事を読むと、すんなり理解できる。 これ、本質がよく解っている人の回答だよね。 こんな格好良く回答ができるよう精進したい。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/932
933: デフォルトの名無しさん [sage] 2021/10/22(金) 21:20:57.92 UTF-8 のHaskell ソースコードに書き込んだ日本語文字列を通信先に渡す為に Shift_JIS の String にしたいのですが module Main where import Data.Text.ICU.Convert as ICU import Data.Text as T import Data.ByteString.Char8 as BS main :: IO () main = do conv <- open "Shift_JIS" Nothing let utf8txt = T.pack "皆は、赤ちゃんしゅきぃ？" sjis_bs = fromUnicode conv utf8txt この sjis_bs をどうしたら Shift_JIS の String になるんですか？ BS.unpack だと ﾂ皆ﾂづ債、ﾂ静板つｿﾂづ｡ﾂづｱﾂつｵﾂづ｣ﾂつｫﾂつ｡ﾂ？ になってしまいます http://mevius.5ch.net/test/read.cgi/tech/1581326256/933
934: デフォルトの名無しさん [] 2021/10/22(金) 23:18:21.74 ID:5ielnrPe haskellってpythonに影響与えてるんやな どおりで雰囲気似てる感じするんか http://mevius.5ch.net/test/read.cgi/tech/1581326256/934
935: デフォルトの名無しさん [] 2021/10/23(土) 01:09:52.51 ID:o3xA5lbA レイアウトと呼ばれるインデントスタイルは、Pythonが1991年に最初にリリースであり、85年以前にあった Mirandaを参考に1990年にHaskellは登場したはず。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/935
936: デフォルトの名無しさん [] 2021/10/29(金) 12:55:32.45 ID:SqmTIce6 不動点演算子がわからなくて泣ける 再帰呼び出しになってないのに再帰になってるのはわかるんだけど http://mevius.5ch.net/test/read.cgi/tech/1581326256/936
937: デフォルトの名無しさん [sage] 2021/10/29(金) 18:35:44.90 ID:ZN5Hp6rJ >>936 何が分からないのか分からない http://mevius.5ch.net/test/read.cgi/tech/1581326256/937
938: デフォルトの名無しさん [] 2021/10/29(金) 18:40:46.51 ID:uCUCIWXe >>937 なんでわかるんや？ 才能か？ 後不動点定理がわからん 勉強しろって言われてるけど http://mevius.5ch.net/test/read.cgi/tech/1581326256/938
939: デフォルトの名無しさん [sage] 2021/10/29(金) 20:05:05.45 ID:1mMf/Evz 遅延評価の才能がないと x = f x を思いつかないんだよな y f = f (y f) しか分からない http://mevius.5ch.net/test/read.cgi/tech/1581326256/939
940: デフォルトの名無しさん [sage] 2021/10/29(金) 21:04:54.17 ID:ZN5Hp6rJ >>936 の何もかもが、こちらには分からない。 愚痴を言いたいだけなのか、それとも何か質問をしたいのか。 後者なら、質問内容は何か。 >>938 > 後不動点定理がわからん それだけなら、勉強してくださいとしか言いようがない。 勉強しろと言われているのなら、何か資料が配られたり、 参考文献が挙げられたりしていないのか？ そういうのが既にあるのなら、取りあえず全てに当たって、 今分かる部分と分からない部分を徹底的に細かく仕訳してみればいいのでは？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/940
941: デフォルトの名無しさん [sage] 2021/11/05(金) 06:38:08.04 ID:UB8UVAT8 >>936 分からないのは何故再帰処理してるのかじゃなくて（そこは定義的に明らかだし）、 どうして無限ループせずに終了するのかでいいのかな http://mevius.5ch.net/test/read.cgi/tech/1581326256/941
942: デフォルトの名無しさん [sage] 2021/11/14(日) 05:07:45.42 ID:HK5ctRa0 やっと Monad クラスから return が消えるよ まだ計画段階たけど https://github.com/fumieval/Haskell-breaking-changes http://mevius.5ch.net/test/read.cgi/tech/1581326256/942
943: デフォルトの名無しさん [sage] 2021/11/14(日) 21:26:09.61 ID:bsdXePE0 なんで消すの？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/943
944: デフォルトの名無しさん [sage] 2021/11/15(月) 02:14:35.96 ID:jBQU3T8q >>943 Applicativeクラスにpure関数があるから。 Monad則やApplicative則を満たしてるなら、 まず間違いなく pure = return だから片方で充分。 それにreturnって名前があまりに実態とかけ離れてるしね。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/944
945: デフォルトの名無しさん [sage] 2021/11/15(月) 12:46:13.83 ID:KyLp+2Ep 初歩的な質問ですが、複数の設定ファイル読み込みするのに readFile で全体取得してから処理するのと withFile で hGetLine しながら処理するのではどちらがいいとかありますか? 主に処理速度の点について聞きたいです。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/945
946: デフォルトの名無しさん [sage] 2021/11/15(月) 18:22:40.27 ID:W9vQbDtp >>945 そういうのは、自分で実験すればすぐに確かめられるのでは？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/946
947: デフォルトの名無しさん [sage] 2021/11/15(月) 21:51:56.85 ID:NLyY6NK4 >>944 Applicativeにpureがあるのはなんで？ Monadのreturnだけにするのは変ですか？ 零元がApplicativeの責務なのがピンときてないんです。Monadだと何と合わないんでしょう http://mevius.5ch.net/test/read.cgi/tech/1581326256/947
948: デフォルトの名無しさん [sage] 2021/11/16(火) 02:22:00.49 ID:EE8p/B0u >>947 できるだけ一次情報に当たりましょう。 >>942 のリンク先の Planned: remove return from Monad の項目の Proposal のリンク先を読んで下さい。 (更にその先の dudcusdion なども) それが最も正確で、かつ、分かりやすいです。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/948
949: デフォルトの名無しさん [sage] 2021/11/16(火) 21:38:06.78 ID:au51kzu/ 正確に綴ってくれ http://mevius.5ch.net/test/read.cgi/tech/1581326256/949
950: デフォルトの名無しさん [sage] 2021/11/16(火) 22:40:31.75 ID:t6DDIn3B 読んでみたけどよくわかんないなあ。AMPを満たすためにApplicative m => Monad mが必要ってことは書いてあるようだけど Monadからreturnを削除して、pureに統一する理由って書いてあるかな？ 読み飛ばしたかもしれんけど。 return = pureだから、統一しても同じっていうのは分かるんだけど、Applicativeにpureが必要な理由がわからない。 Applicativeの4つのルールを満たすためにpureが必要なことは、Applicativeの定義に書いてあるけど、圏論わかんないから、このルールが何で必要なのか分からん。 Monoidal Functor？とかいうやつの表現のために単位元(零元じゃなかったね)が必要なんだろうけど、圏論わからんないから分からん。 Monoidと関係あるんだろうか。それなら加法のために単位元が必要なのはわかるんだけど。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/950
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 52 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.996s*