関数型プログラミング言語Haskell Part33

1 名前：デフォルトの名無しさん [2020/02/10(月) 18:17:36 ID:L6eYQqyh.net] 関数型プログラミング言語 Haskell について語るスレです。 Haskell Language(公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ - Haskell-jp https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part32 https://mevius.5ch.net/test/read.cgi/tech/1548720347/ 201 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 18:21:55 ID:flKXD0mo.net] haskellでコロナ感染シミュ作るやつ誰もおらんのか？ 202 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 19:41:52 ID:EEQhx4+u.net] codewarの問題をHaskellで解いてみてるんだけど 、12000msタイムアウト多発する リスト内包表記とか再帰はHaskellerはあんまり使わないの？ nに含まれる素因数とかすぐタイムアウトする 203 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 21:46:48 ID:ogEgOOCw.net] >>200 arithmoiとかのライブラリ使うとめっちゃ速いよ ソースを見てみるといいかも あと、prime factorization haskell とかをキーワードにして検索してみるとか 204 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 22:42:42.81 .net] Haskell で競プロ辛い・・・ 200000個の整数読み込んで処理するような問題だとMLEになりがちだ 本当にそんなに使ってるのかよ・・・疑わしいなぁ ランタイムがとりあえずあるだけ使おうとして、足りなくなったらもう要らない空間を探して、そこに上書きするようにしてるの？ だとすると、とりあえずあるだけ使おう期間の段階で上限ぶっちぎってるってことかね もしかして GHC「記憶域ください」 競プロシステム「あなたは上限なのでもうあげません」 GHC「仕方ないな、じゃあガベージコレクションしてなんとかやりくりしよう」 ではなくて GHC「記憶域ください」 競プロシステム「どうぞどうぞ」 GHC「どうも」 競プロシステム「はいそれは毒まんじゅうです。今のでMLEです」 GHC「えっ！！！！」 こうなんじゃないか？ ソースコードで「メモリ使用はは150MB以内で巧くやりくりしろ」とかって制限の指示できないんですか？ 205 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 23:16:24.10 ID:DjxEmd7z.net] Haskellで競プロやるテクをまとめた同人誌があったような 206 名前：デフォルトの名無しさん mailto:sage [2020/04/12(日) 23:19:22.76 ID:BXIcY8lZ.net] 薄い本があったのか… 207 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 04:15:51.10 ID:WjwyibsT.net] mleってなに？ Maximum likelihood estimation しか思いつかん 208 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 06:08:11.82 ID:Er/sUT94.net] ぼくもそれしか… 209 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 06:56:02.05 ID:rnoGia+U.net] 競プロ mle でググってみた MLE メモリリミットエラー(Memory Limit Error)の略 提出したプログラムが許可された以上のメモリを使用したときに出る （一部のコンテストで採用されている表現） 210 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 12:33:53 ID:tr0y4100.net] >>202 とりあえずローカルでプロファイル取って実行してみると スペースリークや大量のGCの原因が推定できるはず (「Haskell プロファイラ」とかでぐぐって) 未評価のサンクが大量に積み上がっているとか、 イミュータブルな連結リストの使い方が悪くて 大量の一時リストを作ってしまっているとか あたりじゃないかと想像してみる 211 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 13:06:48.82 ID:pEw+DEbK.net] タイムアウトのやつ この問題やってて ttps://www.codewars.com/kata/54d496788776e49e6b00052f/train/haskell 通らないコードがこれ sumOfDivided :: [Integer] -> [(Integer, Integer)] sumOfDivided xs = map (\x -> (x,foldr (+) 0 (filter ((==0).(flip rem x) ) xs)) ) $ prime_factors ( product xs) 2 where prime_factors 1 _ = [] prime_factors m n | rem m n == 0 = n : (prime_factors (quot m n) $ n+1) | otherwise = prime_factors m $ n+1 こういう感じでコード組み立てるんだけど、他の問題でもしょっちゅうタイムアウト起こしてる 応答の速いコードにするにはどんなふうに変えていけばいいかを知りたい cで言うと値コピーしてソートしないでポインタでソートすると速いみたいな 212 名前：デフォルトの名無しさん mailto:sage [2020/04/13(月) 21:38:04.55 ID:tr0y4100.net] >>209 どう改善すればいいかはすぐにはわからないが prime_factors関数は末尾再帰ではない再帰をしているから容易にスペースリークしそうな感じはする 213 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 00:39:23 .net] できるだけリストを避けて 読み込みもByteString 版 getContents と readInt の組み合わせで高速化 そして困ったときの Data.Sequence 様やで！ C系提出者は軒並み 0.1 s で処理を終えている中、220MB 1.9 s 弱かけてなんとか致命傷でかいくぐった 制限超過してる気がするが、マイナー言語へのアファーマティブアクションかな？ くぅ〜疲れましたw これにて AC です！ 214 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 01:34:33 .net] >>209 prime_factorsだけど quotRem なら一回で両方得られる 探索は3から+2ずつ探すべき n　が√m を超えてしまったら探索を打ち切るべき リストの整数全部に出てくる素因数を予めリストアップしたいんだろうけど そのprime_factorsだと絶対に素因数が存在しない、（２を除く）偶数空間と√mの後の空間をmに達するまで探していてとてもとても無駄 この無駄はmが大きいほど酷いことになるが、見事に君のコードはproductなんてしてmを巨大化させている 例えば、1000000 の素因数は少なくとも1000 以降は存在しないのに1001, 1002, 1003, ... , 999998, 999999, 1000000 まで探すところを想像してみて 一目気づいたのはそんなところかね。先ずはそこを直してから一局といったところか 215 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 01:52:08 .net] >>208 まあ最終手段はそうなるんでしょうね しかし早すぎる段階での最適化はたいてい悪手って言われてるし その前に、アルゴリズムの選定が間違ってるんではとなって、あれこれ作戦変えて いつしか通るわけです。すると結局いつまで経ってもプロファイリングを練習する機会が来ないんですよね 216 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 01:54:06 .net] あ、いや、あれこれ作戦変えるヒントを得る為にプロファイリングするのか・・・ やっぱり手を出してみるか 217 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 10:48:29 ID:Ez55nAck.net] 異世界人「アルゴリズムをあれこれ変える」 主人公「言語をあれこれ変えてみよう」 218 名前：デフォルトの名無しさん mailto:sage [2020/04/14(火) 11:07:53 ID:aAi/G6aw.net] 時間とメモリ両面のcomplexity考えるのは最適化以前の話 219 名前：デフォルトの名無しさん mailto:sage [2020/04/15(水) 17:46:40 ID:/WUIZ9Nz.net] >>212 39の素因数って3,13よね？ √39が6くらいだから探索区間は√mじゃ不十分かなって でも確かに偶数はいらないから2:[3,5..]でいいね 全部の素因数のリスト作るのに全部掛け合わせて処理はひどいなと見直して思った リストは早くするなら使わない方針なのね Quatremとリスト以外（sequenceが代替？）調べて組み込んでみようかな 220 名前：デフォルトの名無しさん mailto:sage [2020/04/15(水) 17:47:28 ID:/WUIZ9Nz.net] お礼書き忘れたすみません 回答ありがとうござ� 221 名前：｢ますなんとか通ってもらいます [] [ここ壊れてます] 222 名前：デフォルトの名無しさん mailto:sage [2020/04/15(水) 19:54:09 ID:JKZ0KcR7.net] >>217 なんの話かよく知らないけど39を素因数分解してるのなら、 約数として3が見つかったら、その時点でもう39が素数じゃないことが判明するから、13を調べる必要ないよ √39以下の数字調べればオッケー 223 名前：デフォルトの名無しさん mailto:sage [2020/04/15(水) 19:55:22 ID:JKZ0KcR7.net] 間違えた 「素因数分解してるのなら」じゃなくて「素数判定してるのなら」だった 224 名前：デフォルトの名無しさん mailto:sage [2020/04/16(木) 01:02:59.81 ID:6p+dWGIK.net] >>209 計算速度や使用メモリ量以前に、解が正しくないよ。 試しに sumOfDivided [8] やってみ。 もう少し言うと、prime_factors 関数がおかしい。 関数名に相応しくない計算をしていられる。 まずは、必要な個数の正しい素数列を作ることを考えた方がいいと思うぞ。 225 名前：デフォルトの名無しさん mailto:sage [2020/04/16(木) 01:13:24.21 .net] >>217 あ、説明で嘘を吐いてしまった。確かに√m以降に素因数は存在しないは偽だった それでも尚、√で打ち切っていい手筋は揺るがない。 √39より前の3を発見して、39 `quot` 3 (=13) に対して再帰的に同じことをする ただし割ることを試すのは今割り切れた素数からね（同じ素数で複数回われることもある）。 もう一回3で割ろうとして失敗し、次は√13 を超えるので打ち切って、13 は素数と判定してリストに加える だから結果として、√m 以降の素因数を取りこぼすことはない 226 名前：デフォルトの名無しさん mailto:sage [2020/04/16(木) 09:43:04 ID:xRrLSzP4.net] >>222 素数系のアルゴリズムは手続き的にはよく知られたものが色々あるけど それをHaskellっぽく(宣言的に)定義しろって言われると割と悩む STMonadとか使えば手続き的な実装はできるけど何かに負けた気分になる 227 名前：デフォルトの名無しさん mailto:sage [2020/04/16(木) 12:23:07.85 ID:DtoAMVDb.net] 速度あげようと思ったら、どうのように計算するかということに介入する必要があるから手続き的になるのはしょうがないのでは 228 名前：デフォルトの名無しさん mailto:sage [2020/04/16(木) 14:44:08.63 ID:ta7mONc0.net] 魔法を使える主人公がなぜか銃を乱射するというマナー違反 を許せない真面目系脇役の魅力 229 名前：デフォルトの名無しさん mailto:sage [2020/04/17(金) 17:52:04.90 .net] 騎士道はCで書くなど、汚い真似をして勝つことを認めていない 230 名前：デフォルトの名無しさん mailto:sage [2020/04/17(金) 18:51:48.64 ID:Tw57yEwr.net] ごきげんよう、高貴なるhaskellプログラマの皆様方 今日も可憐におプログラミングですことよ ほほほ 231 名前：デフォルトの名無しさん mailto:sage [2020/04/17(金) 23:16:02 ID:kOeZUqy9.net] haskellマスターすると新型コロナにかからないってよ 232 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 03:43:48.65 ID:ehKqAcW4.net] コロナ菌に強い言語なん？ 233 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 11:31:33.48 ID:v8V9P+IO.net] C言語プログラムなどを実行すると電磁波の影響で身体への副作用が発生するからな 副作用を抑え人間本来の自然な免疫力を高めるのがhaskell 234 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 12:26:02 ID:kkncOpcu.net] haskellマスターで彼女ができました！ 235 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 13:41:19 ID:urv0mT/N.net] >>230 我慢できずにモナドに手を出して感染する事例が後を立たない モナドは自粛すべきと何度も言われているのに 屁理屈をこねて手を出す者が多すぎる 本当にHaskellに副作用がないのだと詭弁を弄せずごり押しするのならば 絶対にモナドをやるべきではないと言われている 236 名前：デフォルトの名無しさん [2020/04/18(土) 19:32:57 ID:DCiZBX2v.net] モナドを「やる」ってなんだよｗ モナドを禁止薬物か何かと勘違いしてるのか？ すべての人間は二分される すなわち「モナドである」人間と、そうでない人間、だ 俺はモナド お前はモナドではない 「上」で待ってるで 237 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 20:20:58 ID:aIlZnP1D.net] おれモナド使いだけど、おまえ俺に使われてんのか 238 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 20:52:26 .net] C言語プログラムなどを実行するとストレスの影響で毛髪への副作用が発生するからな 脱毛を抑え人間本来の自然な論理を書けるのがhaskell 239 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 22:32:39.62 ID:DCiZBX2v.net] >>234 モナドに使われてるやつほど、自分はモナドを使ってると勘違いするよなｗ 240 名前：デフォルトの名無しさん mailto:sage [2020/04/18(土) 23:24:30 ID:jMxNMUbH.net] モナドを使う時、モナドもまたあなたを使っているのだ 241 名前：デフォルトの名無しさん [2020/04/19(日) 01:35:32.46 ID:WM8Q0HWB.net] [状態モナド](https://wiki.haskell.org/State_Monad)を [随伴](https://en.wikipedia.org/wiki/Adjoint_functors) on Rails に乗せてみる。 ``` code type W x a b = (a, x) -> (b, x) type S x a b = a -> x -> (b, x) in_away :: W x c d -> W x b c -> W x a b -> W x a d in_away cd bc ab = cd . bc . ab in_home :: S x c d -> S x b c -> S x a b -> S x a d -- in_home cd bc ab = to_home $ in_away (to_away cd) (to_away bc) (to_away ab) where -- in_home cd bc ab = ext cd . ext bc . ab where in_home cd bc ab a = new a %>>=% ab %>>=% bc %>>=% cd where (%>>=%) = flip ext ext = to_home_fmap . to_away new = to_home id to_home_fmap = (.) to_home = curry to_away = uncurry ``` `to_home`が[記事](https://en.wikipedia.org/wiki/Adjoint_functors)での`Phi` に、`ext`が[Kleisliのスター](https://en.wikipedia.org/wiki/Kleisli_category) に対応する。`in_away`は通常の関数の合成で、`in_home`はそれを黒魔術に 翻訳している。 [継続モナド](https://wiki.haskell.org/Continuation)も随伴で書ける。 242 名前：デフォルトの名無しさん [2020/04/19(日) 01:36:44.08 ID:WM8Q0HWB.net] ``` code type O x a b = (b -> x) -> a -> x type C x a b = a -> (b -> x) -> x in_away :: O x c d -> O x b c -> O x a b -> O x a d in_away cd bc ab = cd %.% bc %.% ab where (%.%) = flip (.) in_home :: C x c d -> C x b c -> C x a b -> C x a d -- in_home cd bc ab = to_home $ in_away (to_away cd) (to_away bc) (to_away ab) where -- in_home cd bc ab = ext cd . ext bc . ab where in_home cd bc ab a = new a %>>=% ab %>>=% bc %>>=% cd where (%>>=%) = flip ext ext = to_home_fmap . to_away new = to_home id to_home_fmap = flip (.) to_home = flip to_away = flip ``` 厳密には、`flip`は随伴ではないが、`Set^op (a, b)`と`Set (b, a)`が集合 として同型になることを使うと、実質的な随伴の役割を果たす。 243 名前：デフォルトの名無しさん mailto:sage [2020/04/19(日) 23:13:07 ID:hRJ8C0Os.net] その話題は伸びない。このスレにはHaskellerいないからコード貼ったって誰も読めないし圏論を理解してるやつなんかいないから 244 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 03:13:59.48 .net] Haskeller 戻ってきて 245 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 04:21:55.04 ID:VYi0JRSU.net] エアプしかいないの？ 246 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 12:33:40 ID:KoBCLV49.net] ここには数学とプログラミング両方できる人がいるようだからお聞きしたいのだけど プログラミングのクロージャーってトポロジーのクロージャーから引っ張ってきた用語なの？トポロジーの方の定義を眺めてみてもイマイチつながりが理解出来なくて 247 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 12:39:30 ID:PYrLoVAx.net] まったく別 248 名前：デフォルトの名無しさん [2020/04/20(月) 12:40:47 ID:gGVXVDIS.net] 量子化とかもおいおいって思う 249 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 13:57:45.52 ID:a2Vdb5nD.net] 全く別なんすね ありがとうございます 250 名前：デフォルトの名無しさん mailto:sage [2020/04/20(月) 21:31:54.79 ID:CMTCfm7W.net] 別でもあるし同じでもある 具体的には 251 名前：デフォルトの名無しさん mailto:sage [2020/04/21(火) 00:24:43.90 ID:dIhpNk/e.net] 量化子を量子化！ 252 名前：デフォルトの名無しさん mailto:sage [2020/04/21(火) 01:33:16.33 ID:iOWmjrKd.net] そう言えば、佐野量子化って子もいたな 253 名前：デフォルトの名無しさん mailto:sage [2020/04/21(火) 21:16:16.93 ID:JxCMv4cD.net] この言語って純粋に理論的な側面に興味を感じてしまって、アプリ制作進まなくなるわ 254 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 00:29:18 ID:wNzYQ5IM.net] それよりメモリ管理の理論に興味を感じないか static変数のようなものを使えばメモリ管理と無縁のアプリ製作ができるのだが 255 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 02:23:16.94 ID:mBUbZ8gm.net] 何を言ってるんだ 256 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 03:15:59 .net] メモリ管理に興味を感じないか？　→　メモリ管理と無縁の〜ができるのだ ？？？？？？ メモリ管理するんじゃなかったのか？ 257 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 07:00:20.01 ID:eoS2PMe8.net] staticおじさん来てんね 258 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 13:10:01 ID:rjrgI3oq.net] 10年以上前から同じ会話してるだろ 免疫がつくまで繰り返すんだぜこれ 259 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 21:43:23.72 .net] Haskellスレって荒らされてるの？ 260 名前：デフォルトの名無しさん mailto:sage [2020/04/23(木) 22:27:14.34 ID:mBUbZ8gm.net] これが平常運転 261 名前：デフォルトの名無しさん [2020/04/24(金) 01:31:48.04 ID:Zatb8XkV.net] 低俗なねらーにはHaskellはら難しすぎたんや… 262 名前：デフォルトの名無しさん mailto:sage [2020/04/24(金) 23:19:15.10 ID:FUZNUOcv.net] メモリ管理の様な世俗的な因習に捕らわれず神の領域を安らかたらしめん為の関数型言語では無かったか 263 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 01:04:25 ID:7jpIjPuc.net] 現実のハスケラ達は評価順やサンク潰しの制御のテクニックを競ってマウンティングし合ってるよ 264 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 01:48:47 ID:n1+IBCwB.net] くだらない事をダベってるくらいなら、Polysemyの基礎でも勉強してろ https://sir4ur0n.github.io/ 265 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 04:06:57 .net] それを知るとどんな良い事があるのか、学習の動機づけをください 266 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 05:14:26.69 ID:n1+IBCwB.net] 簡単に言えば、安全で明確でテストしやすいプログラムが書ける。 IOモナドの関数は中でどんなIOアクションでもできてしまい危険だ。 大事なファイルを上書きしようが、大音量でビープを鳴らそうが。 Polysemyに代表されるエフェクトシステムを使うと、 関数の中で使えるIOアクションの内容を関数シグネチャで制限できる。 ファイル読取アクションを宣言した関数の中では、書込や画像表示など他のIOアクションは一切できず安全だ。 また、ビジネスロジックのコードではどんなアクションをするのか(what)というレシピだけを書き、 そのアクションを実際のIOを使ってどの様に実現するか(how)は別のコードで書くことになる。 whatとhowがしっかり分かれ明確だ。 なので、ビジネスロジックのコードは純粋関数で書け、テストしやすくなる。 howのコードだけをモックに変えることもでき、これもまたテストを容易にする。 と言うようなことを例を交えて分かりやすく説明しているのが >>261 の記事だ。 267 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 08:08:07 .net] 目を通しました（理解できたとは言ってない） 粒度の粗い物を制限してもっと細かくして、その組み合わせで書き直すことで間違いを排除する、 （手を入れられない）既存ライブラリに対して、ぼくのかんがえたさいきょうのリファクタリングをエミュレートする基盤となるものですか？ 268 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 10:58:51.70 ID:n1+IBCwB.net] >>264 前半はその通り。 が、すまん、後半は意味が分からない。 リファクタリングをエミュレートするってどういう事？ 初めて聞いたフレーズだ。 リファクタリングをする事と、リファクタリングをエミュレートする事の違いを教えてくれ。 269 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 12:04:03 .net] 真のリファクタリングは、設計しなおしてソースコードも書き直す事が含まれるとすると 標準ライブラリであるIOモナドの設計やソースコードを直接弄ることはできませんから、ポリ蝉版は本当にIOを再設計したわけではなく、 リファクタリングを疑似的に再現したという解釈はできないでしょうか リファクタリングの真似事なのでエミュレートと言いました 270 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 12:44:25.69 ID:d+Khct7b.net] 現実問題として純粋関数だけじゃ成り立たないからね 271 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 13:20:46.87 ID:n1+IBCwB.net] >>266 なんか、私と貴方の間にリファクタリングという言葉に齟齬があるような・・・ 今までIOモナドを直接使っていたコードをPolysemyを使うようにリファクタリングすることはできるよ。 エフェクトシステムの設計者たちはそれを推奨している。 でもそれは、IOライブラリのコードが弄れないから、仕方ないので、Polysemyで擬似的に弄ったように見せましょう、 という話では全くないよ。 272 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 17:18:59 ID:zjFjVVvP.net] Polysemyってはじめてきいた Extensible effectsとは別もの？ 273 名前：デフォルトの名無しさん mailto:sage [2020/04/25(土) 18:29:06.56 ID:n1+IBCwB.net] >>269 名前が違うんだし、そりゃ別物だよ。 同じエフェクトシステムというカテゴリの一員ではあるが。 どう違うかは >>261 を読んで判断してくれ。 短い記事だからすぐ読める。 274 名前：デフォルトの名無しさん [2020/04/26(日) 08:52:10 ID:K9Hk9jTV.net] IOは副作用じゃなくて作用だからハスケルは副作用が無いんだなんていってるやつ初めて見たんだけど 275 名前：デフォルトの名無しさん mailto:sage [2020/04/26(日) 09:58:35 ID:igL2TSix.net] あらかじめ宣言した型に従う作用じゃなくて 宣言していないことを勝手にやるのが副作用の弊害だから Haskellにはこの弊害が無いんだな 276 名前：デフォルトの名無しさん mailto:sage [2020/04/26(日) 10:22:30 ID:FBxVgLTh.net] >>272 そう言うこと。 でもIOは実質なんでもできちゃうから、かなり不安だよね。 もっとeffectを安全に取り扱いたいよね。 その解のひとつがPolysemyだよ、という話しだ。 >>271 PolysemyのブログPart1を読んで思うところがその嘲笑だけなら、 英語ドキュメントの読解にはちょっと向かないかな。 277 名前：デフォルトの名無しさん [2020/04/26(日) 11:39:57 ID:K9Hk9jTV.net] ブログを観る限り素人の書いたクソ記事だな 読む価値なし 278 名前：デフォルトの名無しさん mailto:sage [2020/04/26(日) 14:00:45.22 ID:igL2TSix.net] この毒舌が日本の平常運転 279 名前：デフォルトの名無しさん mailto:sage [2020/04/26(日) 14:32:48.40 ID:jQbFLCNe.net] Haskellの玄人って研究者とか？ 280 名前：デフォルトの名無しさん mailto:sage [2020/04/26(日) 17:02:22 ID:i7pDRaTP.net] このスレ住人のことだよ 281 名前：デフォルトの名無しさん mailto:sage [2020/04/27(月) 14:12:58.96 ID:AM55pzUu.net] 「Prelude>:browse」の実行結果をテキストファイルにリダイレクトする方法 browse.hsという名前のファイルに:browseを記入して保存 保存したファイルのあるディレクトリでコマンドプロンプトを立ち上げて以下を実行 stack ghci < browse.hs > browse.txt Redirecting Haskell GHCi output to text file [duplicate] https://stackoverflow.com/questions/14688119/redirecting-haskell-ghci-output-to-text-file 282 名前：デフォルトの名無しさん [2020/04/27(月) 17:47:14 ID:AOepTdHn.net] このスレで延々と副作用やモナドの話ばかりされてるのなんか既視感があると思ったら、物理学板の相対論スレでポアンカレ群やリーマン幾何の話は一切せず モノの本で読んだようなマイケルソン・モーレイの実験の話に関する持論をひたすら展開して相対論は間違ってる！って騒いでる連中に似てる 283 名前：デフォルトの名無しさん [2020/04/27(月) 17:48:43 ID:l27UEbbh.net] 相対性理論も量子力学もどっちも間違ってる 284 名前：デフォルトの名無しさん mailto:sage [2020/04/27(月) 18:04:41.79 ID:3bdWQ9Vo.net] まあ副作用やモナドに関する理解の甘さは初心者にありがちだからな 285 名前：デフォルトの名無しさん mailto:sage [2020/04/27(月) 19:40:47 .net] 最新 stack で 7.8.4 をセットアップしようとしたら realgcc.exe を使おうとしてコケる 新しい GHC にはあるみたいだけど古い GHC には mingw\bin に存在しないようだ なのに使おうとしている なぜ古いのを入れようとしてるかというと競プロサイトのGHCが古いからだ 最新版で通るコードが向こうで弾かれたりして苛ついたから、じゃあそっちの環境で通るコードを提出してやるよとなってインストールを試みたのだ スタックで古いバージョンのセットアップに自身ニキ、助けて 286 名前：デフォルトの名無しさん mailto:sage [2020/04/27(月) 21:15:06.74 ID:6TeRc6dT.net] 静的型付けの話は一切せず 実行時の振る舞いに関する持論をひたすら展開してモナドがーって これ半分オブジェクト指向だよ 型はオブジェクトではないから型の話を一切しないんだよ 287 名前：デフォルトの名無しさん mailto:sage [2020/04/27(月) 22:39:13 .net] 相対論スレもHaskellスレ同様に荒らされてるの？ 288 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 00:09:34 ID:Bz0WEXXQ.net] >>282 複数のバージョンを使い分けたいのなら、 Windowsは向かないと思います。 あくせくしてゴチャゴチャになるくらいなら、 さっさと仮想環境にlinux入れてそっちで環境構築した方が 楽で早いのではないでしょうか。 289 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 00:20:49 ID:fQrwEc0Y.net] Haskellは何でああも副作用を嫌うの？ 290 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 00:24:10 ID:6HXykM7G.net] >>286 だから嫌ってない… 291 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 01:57:21.75 ID:zsCbc70d.net] >>286 嫌うという表現は置いておくとして、 純粋関数と副作用の伴う関数とをあれほど切り分けたがるのは、 その方がメンテし易いというのが大きな理由の一つだと思う。 292 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 12:53:37 .net] よしわかった。ならばWSL Ubuntu を導入だ。stackをインストールし、古すぎるので最新版stackに替え、stack setup 7.8.4 The GHC located at /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 failed to compile a sanity check. Please see: docs.haskellstack.org/en/stable/install_and_upgrade/ for more information. Exception was: Received ExitFailure 1 when running Raw command: /home/devlin/.stack/programs/x86_64-linux/ghc-7.8.4/bin/ghc-7.8.4 /tmp/stack-sanity-check47/Main.hs -no-user-package-db Run from: /tmp/stack-sanity-check47/ Standard output: [1 of 1] Compiling Main ( /tmp/stack-sanity-check47/Main.hs, /tmp/stack-sanity-check47/Main.o ) Linking /tmp/stack-sanity-check47/Main ... Standard error: /usr/bin/ld: -lgmp a??e|?a??a??a??a??a??? collect2: error: ld returned 1 exit status 神はどうあっても試練を与えようというあああああ！！！！ 293 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 17:08:37 ID:yBopWDZB.net] 言語仕様はHaskellでもいいけど実装は、電池が入ってるインタプリタがいい コンパイラをコンパイルするのも、ネットのサービス終了も嫌だ 294 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 22:24:50.85 ID:fQrwEc0Y.net] F#ならスクリプト使えるよー モナドの代わりにコンピューテーション式も使えるよ 副作用も使いまくりだよー ライブラリーは.NETつかえるよー GUIはちょっと苦手　でも、ワンレンボディコンのボインちゃん シャッチョサン、シャッチョサン シャッチョさんのことだからまけにまけて０円　　もってけどろぼー 295 名前：デフォルトの名無しさん mailto:sage [2020/04/28(火) 22:37:15 ID:GL0e6TlJ.net] よし採用 296 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 06:50:08 .net] Elmっているこ？いらんこ？ 297 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 07:13:41 ID:SPs1sTfW.net] 分からん purescriptとかどうなんだろ 298 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 09:16:57.44 ID:GLX6jWJt.net] agdaをjsにコンパイルするのはどうなの？ 299 名前：デフォルトの名無しさん [2020/04/29(水) 09:36:37 ID:TuLha3Ht.net] F#スレ落ちてるね 300 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 10:44:15 ID:JIRjVKl2.net] 奴は四天王の中でも最弱

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef