関数型プログラミング言語 Haskell について語るスレです。
Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/
前スレ
関数型プログラミング言語Haskell Part32
https://mevius.5ch.net/test/read.cgi/tech/1548720347/
探検
関数型プログラミング言語Haskell Part33
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
2020/02/10(月) 18:17:36.49ID:L6eYQqyh151デフォルトの名無しさん
2020/04/02(木) 06:33:57.84ID:6/i0fPdP >>148
特別なことはなく、ネットや本で学んだよ
例えば
・Thinking wih Types
型レベルプログラミングを学んだ
https://leanpub.com/thinking-with-types
・Optics By Example
lensに代表されるopticsを学んだ
https://leanpub.com/optics-by-example
・Hexagonal architecture
Haskell & DDD でアプリを作るパターンの一つを学んだ
https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/
・Effect system
IOを安全に扱う方法を学んだ (正確にはモナドの合成を分かりやすく扱う方法)
DDDによるアプリ制作においてさっきのが戦略とすれば、こっちは戦術
http://okmij.org/ftp/Haskell/extensible/exteff.pdf
ライブラリもいくつかある
あと、Redditの投稿を追いかけていれば色々学べる
https://www.reddit.com/r/haskell/
と言うか、紹介しきれないほどの情報がネットに溢れているんだが
特別なことはなく、ネットや本で学んだよ
例えば
・Thinking wih Types
型レベルプログラミングを学んだ
https://leanpub.com/thinking-with-types
・Optics By Example
lensに代表されるopticsを学んだ
https://leanpub.com/optics-by-example
・Hexagonal architecture
Haskell & DDD でアプリを作るパターンの一つを学んだ
https://blog.ploeh.dk/2016/03/18/functional-architecture-is-ports-and-adapters/
・Effect system
IOを安全に扱う方法を学んだ (正確にはモナドの合成を分かりやすく扱う方法)
DDDによるアプリ制作においてさっきのが戦略とすれば、こっちは戦術
http://okmij.org/ftp/Haskell/extensible/exteff.pdf
ライブラリもいくつかある
あと、Redditの投稿を追いかけていれば色々学べる
https://www.reddit.com/r/haskell/
と言うか、紹介しきれないほどの情報がネットに溢れているんだが
152デフォルトの名無しさん
2020/04/02(木) 15:08:36.64ID:ttPPzFzn 情報収集のスキルは人それぞれでしょ
reddit はニッチなライブラリの質問とかリリース情報みたいなの多くね?
かったるくていちいち追ってられない
俺はそういうのは twitter にいる Haskell 賢人に任せている
これ面白いよ!って記事をフィルタして共有してくれるから、それ読んで勉強してる
ありがたや ありがたや
reddit はニッチなライブラリの質問とかリリース情報みたいなの多くね?
かったるくていちいち追ってられない
俺はそういうのは twitter にいる Haskell 賢人に任せている
これ面白いよ!って記事をフィルタして共有してくれるから、それ読んで勉強してる
ありがたや ありがたや
153デフォルトの名無しさん
2020/04/02(木) 20:27:07.35ID:te9iYBJx >>151
有益
有益
154デフォルトの名無しさん
2020/04/03(金) 02:49:35.37ID:y19+kh0E155デフォルトの名無しさん
2020/04/03(金) 07:10:48.62ID:SDolupu6 技術書って入門書も含む?
156デフォルトの名無しさん
2020/04/03(金) 07:55:31.68ID:a6cZ/qJ8 一切含まない
157デフォルトの名無しさん
2020/04/03(金) 08:28:58.50ID:m8zbpAqS おいおい
158デフォルトの名無しさん
2020/04/03(金) 09:31:03.42ID:DM1ooV3Z159デフォルトの名無しさん
2020/04/03(金) 16:45:57.10ID:ked6xspS 日本の翻訳文化って外国語を自国語に取り込んじゃうのがすごいとかなんとかって話で、翻訳量自体は別にそれほどでもなかった気がする
160デフォルトの名無しさん
2020/04/03(金) 17:43:30.64ID:VVxcL9Mv オーバーシュートω
ロックダウンωωω
ロックダウンωωω
161デフォルトの名無しさん
2020/04/03(金) 17:47:56.79ID:JepZACIl マジレスすると多分中国語が英語の次だろうな
場合によっちゃ英語より多いかもしれん
中国語の場合は入ってくるだけで出ていかないブラックホールだから実態が掴みにくい
場合によっちゃ英語より多いかもしれん
中国語の場合は入ってくるだけで出ていかないブラックホールだから実態が掴みにくい
162デフォルトの名無しさん
2020/04/03(金) 17:57:20.01ID:VVxcL9Mv twitterでHaskellを薦められたので本気になった
https://www.si-ght.jp/entry/techandme-chiyoda02
https://www.si-ght.jp/entry/techandme-chiyoda02
163デフォルトの名無しさん
2020/04/03(金) 18:00:08.86ID:AMwYpRxM かわいいです
164デフォルトの名無しさん
2020/04/03(金) 18:57:42.55ID:Yw161NPN はーい先生怒らないから犯人は正直に手を挙げなさい
>「プログラミング初心者なんですけど、何からやったらいいですか?
> 最近ようやくJavaScriptが少しだけ読めるようになってきた頃です」。
>
> そうしたら「JavaScriptなんて暗黒で恐ろしい言語はダメだ、純粋関数型言語であるHaskellからやった方がいい」みたいなことを言われました。
https://codezine.jp/article/detail/11885
> 「わからなかったけど、コードを書いて動かす楽しみと快感を覚えたんですよ。
> Haskellをもっと理解したいと相談したら、『圏論の基礎』という本を勧められました。
> でもその本も全然わからなかったんです(笑)」
>「プログラミング初心者なんですけど、何からやったらいいですか?
> 最近ようやくJavaScriptが少しだけ読めるようになってきた頃です」。
>
> そうしたら「JavaScriptなんて暗黒で恐ろしい言語はダメだ、純粋関数型言語であるHaskellからやった方がいい」みたいなことを言われました。
https://codezine.jp/article/detail/11885
> 「わからなかったけど、コードを書いて動かす楽しみと快感を覚えたんですよ。
> Haskellをもっと理解したいと相談したら、『圏論の基礎』という本を勧められました。
> でもその本も全然わからなかったんです(笑)」
165デフォルトの名無しさん
2020/04/03(金) 19:05:03.06ID:AMwYpRxM 犯人オタクキモすぎてわろ
166デフォルトの名無しさん
2020/04/03(金) 20:09:26.90ID:Yw161NPN 初手マックレーンは草 ...ってか鬼畜
もっとこう RealWorldHaskell とかあるでしょ
もっとこう RealWorldHaskell とかあるでしょ
167デフォルトの名無しさん
2020/04/03(金) 20:11:51.67ID:Yw161NPN168デフォルトの名無しさん
2020/04/03(金) 22:34:37.28ID:pfIiNzTY Haskellってかわいいよね
169デフォルトの名無しさん
2020/04/03(金) 23:04:02.16ID:a6cZ/qJ8 口うるさいBBAのイメージ
170デフォルトの名無しさん
2020/04/03(金) 23:36:38.26ID:Wo72KAYJ 学術的に進化してもらって
実用的な部分をメジャー言語が取り込んでくれればおk
実用的な部分をメジャー言語が取り込んでくれればおk
171デフォルトの名無しさん
2020/04/04(土) 00:13:54.60ID:HfszwI8c172デフォルトの名無しさん
2020/04/04(土) 08:53:29.14ID:S6De3LG2 >>167
haskellをチョイスするのが只のミーハーではない。
haskellをチョイスするのが只のミーハーではない。
173デフォルトの名無しさん
2020/04/04(土) 14:52:35.68ID:ym7hUMuJ むしろミーハーでもなんでも構わんのだけど、いち Haskeller が女性ってだけで
容姿を蔑んだり・持ち上げたりする連中がいるなら――もしいるのなら反省してほしい、と思った。
DSL を Freeモナドにするか、Tagless Final にするか、それぞれのメリットはなにか…
Haskeller はそういうことで悩んでいたいのであって、性別とかを理由に余計な荷物を背負わせるべきじゃない。
(ghc も依存している llvm はそういう辛さを避ける為に行動規範を定めているんだけど、いまのところまだ ghc には無いっぽい)
https://llvm.org/docs/CodeOfConduct.html
容姿を蔑んだり・持ち上げたりする連中がいるなら――もしいるのなら反省してほしい、と思った。
DSL を Freeモナドにするか、Tagless Final にするか、それぞれのメリットはなにか…
Haskeller はそういうことで悩んでいたいのであって、性別とかを理由に余計な荷物を背負わせるべきじゃない。
(ghc も依存している llvm はそういう辛さを避ける為に行動規範を定めているんだけど、いまのところまだ ghc には無いっぽい)
https://llvm.org/docs/CodeOfConduct.html
174デフォルトの名無しさん
2020/04/04(土) 14:56:51.64ID:ym7hUMuJ175デフォルトの名無しさん
2020/04/04(土) 15:03:44.40ID:ZRwDcP1M キモすぎて怖い…
176デフォルトの名無しさん
2020/04/04(土) 17:30:47.61ID:V7kxF8pu haskellでやり過ぎなほど徹底的に宣言性にこだわってプログラムする実験をしてみたが、なかなか面白いぞ。
手続き的になりがちなゲームプログラミングでやってみると特に。
手続き的になりがちなゲームプログラミングでやってみると特に。
177デフォルトの名無しさん
2020/04/04(土) 20:17:31.82ID:H4c+c10U 今から出会い系の女と会ってくるがやばいんか?
178デフォルトの名無しさん
2020/04/05(日) 00:47:08.63 Haskellスレってワードサラダbotに荒らされてるのか
179デフォルトの名無しさん
2020/04/05(日) 12:14:43.03ID:P07lI1PF180デフォルトの名無しさん
2020/04/05(日) 12:26:37.15ID:P07lI1PF181デフォルトの名無しさん
2020/04/05(日) 14:11:08.66ID:TA9KtVo9 haskellでアクションって言葉よく出てくるけど定義なに?
182デフォルトの名無しさん
2020/04/05(日) 14:28:05.53ID:k4Q+DqWZ >>181
HaskellでActionという用語をみたことが俺はないけど、Haskell直系の子孫のPureScriptだと
型注釈の->の右辺にEffectがある関数をアクションと定義するそうだ。
EffectはHaskellでいうIOに対応すると思ってもらえたらいい。
ちなみに->の左辺にEffectがある関数をハンドラという。
-- アクション
throwException :: forall a. Error -> Effect a
-- ハンドラ
catchException :: forall a. (Error -> Effect a) -> Effect a -> Effect a
HaskellでActionという用語をみたことが俺はないけど、Haskell直系の子孫のPureScriptだと
型注釈の->の右辺にEffectがある関数をアクションと定義するそうだ。
EffectはHaskellでいうIOに対応すると思ってもらえたらいい。
ちなみに->の左辺にEffectがある関数をハンドラという。
-- アクション
throwException :: forall a. Error -> Effect a
-- ハンドラ
catchException :: forall a. (Error -> Effect a) -> Effect a -> Effect a
183デフォルトの名無しさん
2020/04/05(日) 19:12:11.35ID:690ELyL1 >>176
レポジトリ教えて
レポジトリ教えて
184デフォルトの名無しさん
2020/04/05(日) 20:19:22.93ID:eydcY4ib レポジトリって、サッポロ一番の新しい味?
185デフォルトの名無しさん
2020/04/05(日) 20:26:40.20ID:glUSLxyq そうだよ
186デフォルトの名無しさん
2020/04/05(日) 21:28:22.97ID:BHv6uIvk レポジトレ教えて
187デフォルトの名無しさん
2020/04/06(月) 02:32:17.14 FRPは死滅しちゃったの?
188デフォルトの名無しさん
2020/04/06(月) 03:19:32.28ID:2h0eofxY >>187
どういうこと?
どういうこと?
189デフォルトの名無しさん
2020/04/06(月) 04:59:07.56ID:qqlpdYMz どういうことなの…
190デフォルトの名無しさん
2020/04/06(月) 05:06:41.75ID:kxm5p/Vo むしろ>>188-189がどういうことなのかわからない
191デフォルトの名無しさん
2020/04/06(月) 09:29:24.23ID:H7siEM1Y CabalのドキュメントのSecure repository のところ、
root.jsonのkey idを省略するのはお勧めしないとか書いてるけど、
なにかしないといけないの?
root.jsonのkey idを省略するのはお勧めしないとか書いてるけど、
なにかしないといけないの?
192デフォルトの名無しさん
2020/04/06(月) 22:36:41.14ID:MPGLY2yf このスレにはHaskellerなんかいないということがよくわかるな
193デフォルトの名無しさん
2020/04/07(火) 07:33:13.33ID:UmG0jYGu 本当に言語に詳しい奴ってのはその言語の弱点をしっかりおさえてるもんよ。
194デフォルトの名無しさん
2020/04/07(火) 07:36:16.93ID:SJ9J2Mim ?
195デフォルトの名無しさん
2020/04/08(水) 08:37:32.33 IO がオルタナティヴになったのって最近なのか
Aizu Online Judge のGHCだとコンパイルエラーになる
Aizu Online Judge のGHCだとコンパイルエラーになる
196デフォルトの名無しさん
2020/04/08(水) 22:07:27.52 let [a,b,c,d] = bokunofunction in 〜
このリストってWHNFにならないのな
このリストってWHNFにならないのな
197デフォルトの名無しさん
2020/04/12(日) 14:46:14.07ID:qLx35nn/ 目的は二つ
式を評価し過ぎないこと
副作用を実行し過ぎないこと
手段はただ一つ
最外簡約
式を評価し過ぎないこと
副作用を実行し過ぎないこと
手段はただ一つ
最外簡約
198デフォルトの名無しさん
2020/04/12(日) 18:21:55.43ID:flKXD0mo haskellでコロナ感染シミュ作るやつ誰もおらんのか?
199デフォルトの名無しさん
2020/04/12(日) 19:41:52.11ID:EEQhx4+u codewarの問題をHaskellで解いてみてるんだけど
、12000msタイムアウト多発する
リスト内包表記とか再帰はHaskellerはあんまり使わないの?
nに含まれる素因数とかすぐタイムアウトする
、12000msタイムアウト多発する
リスト内包表記とか再帰はHaskellerはあんまり使わないの?
nに含まれる素因数とかすぐタイムアウトする
200デフォルトの名無しさん
2020/04/12(日) 21:46:48.73ID:ogEgOOCw201デフォルトの名無しさん
2020/04/12(日) 22:42:42.81 Haskell で競プロ辛い・・・
200000個の整数読み込んで処理するような問題だとMLEになりがちだ
本当にそんなに使ってるのかよ・・・疑わしいなぁ
ランタイムがとりあえずあるだけ使おうとして、足りなくなったらもう要らない空間を探して、そこに上書きするようにしてるの?
だとすると、とりあえずあるだけ使おう期間の段階で上限ぶっちぎってるってことかね
もしかして
GHC「記憶域ください」
競プロシステム「あなたは上限なのでもうあげません」
GHC「仕方ないな、じゃあガベージコレクションしてなんとかやりくりしよう」
ではなくて
GHC「記憶域ください」
競プロシステム「どうぞどうぞ」
GHC「どうも」
競プロシステム「はいそれは毒まんじゅうです。今のでMLEです」
GHC「えっ!!!!」
こうなんじゃないか?
ソースコードで「メモリ使用はは150MB以内で巧くやりくりしろ」とかって制限の指示できないんですか?
200000個の整数読み込んで処理するような問題だとMLEになりがちだ
本当にそんなに使ってるのかよ・・・疑わしいなぁ
ランタイムがとりあえずあるだけ使おうとして、足りなくなったらもう要らない空間を探して、そこに上書きするようにしてるの?
だとすると、とりあえずあるだけ使おう期間の段階で上限ぶっちぎってるってことかね
もしかして
GHC「記憶域ください」
競プロシステム「あなたは上限なのでもうあげません」
GHC「仕方ないな、じゃあガベージコレクションしてなんとかやりくりしよう」
ではなくて
GHC「記憶域ください」
競プロシステム「どうぞどうぞ」
GHC「どうも」
競プロシステム「はいそれは毒まんじゅうです。今のでMLEです」
GHC「えっ!!!!」
こうなんじゃないか?
ソースコードで「メモリ使用はは150MB以内で巧くやりくりしろ」とかって制限の指示できないんですか?
202デフォルトの名無しさん
2020/04/12(日) 23:16:24.10ID:DjxEmd7z Haskellで競プロやるテクをまとめた同人誌があったような
203デフォルトの名無しさん
2020/04/12(日) 23:19:22.76ID:BXIcY8lZ 薄い本があったのか…
204デフォルトの名無しさん
2020/04/13(月) 04:15:51.10ID:WjwyibsT mleってなに?
Maximum likelihood estimation しか思いつかん
Maximum likelihood estimation しか思いつかん
205デフォルトの名無しさん
2020/04/13(月) 06:08:11.82ID:Er/sUT94 ぼくもそれしか…
206デフォルトの名無しさん
2020/04/13(月) 06:56:02.05ID:rnoGia+U 競プロ mle でググってみた
MLE
メモリリミットエラー(Memory Limit Error)の略
提出したプログラムが許可された以上のメモリを使用したときに出る
(一部のコンテストで採用されている表現)
MLE
メモリリミットエラー(Memory Limit Error)の略
提出したプログラムが許可された以上のメモリを使用したときに出る
(一部のコンテストで採用されている表現)
207デフォルトの名無しさん
2020/04/13(月) 12:33:53.04ID:tr0y4100 >>201
とりあえずローカルでプロファイル取って実行してみると
スペースリークや大量のGCの原因が推定できるはず
(「Haskell プロファイラ」とかでぐぐって)
未評価のサンクが大量に積み上がっているとか、
イミュータブルな連結リストの使い方が悪くて
大量の一時リストを作ってしまっているとか
あたりじゃないかと想像してみる
とりあえずローカルでプロファイル取って実行してみると
スペースリークや大量のGCの原因が推定できるはず
(「Haskell プロファイラ」とかでぐぐって)
未評価のサンクが大量に積み上がっているとか、
イミュータブルな連結リストの使い方が悪くて
大量の一時リストを作ってしまっているとか
あたりじゃないかと想像してみる
208デフォルトの名無しさん
2020/04/13(月) 13:06:48.82ID:pEw+DEbK タイムアウトのやつ
この問題やってて
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で言うと値コピーしてソートしないでポインタでソートすると速いみたいな
この問題やってて
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で言うと値コピーしてソートしないでポインタでソートすると速いみたいな
209デフォルトの名無しさん
2020/04/13(月) 21:38:04.55ID:tr0y4100210デフォルトの名無しさん
2020/04/14(火) 00:39:23.37 できるだけリストを避けて
読み込みもByteString 版 getContents と readInt の組み合わせで高速化
そして困ったときの Data.Sequence 様やで!
C系提出者は軒並み 0.1 s で処理を終えている中、220MB 1.9 s 弱かけてなんとか致命傷でかいくぐった
制限超過してる気がするが、マイナー言語へのアファーマティブアクションかな?
くぅ〜疲れましたw これにて AC です!
読み込みもByteString 版 getContents と readInt の組み合わせで高速化
そして困ったときの Data.Sequence 様やで!
C系提出者は軒並み 0.1 s で処理を終えている中、220MB 1.9 s 弱かけてなんとか致命傷でかいくぐった
制限超過してる気がするが、マイナー言語へのアファーマティブアクションかな?
くぅ〜疲れましたw これにて AC です!
211デフォルトの名無しさん
2020/04/14(火) 01:34:33.76 >>208
prime_factorsだけど
quotRem なら一回で両方得られる
探索は3から+2ずつ探すべき
n が√m を超えてしまったら探索を打ち切るべき
リストの整数全部に出てくる素因数を予めリストアップしたいんだろうけど
そのprime_factorsだと絶対に素因数が存在しない、(2を除く)偶数空間と√mの後の空間をmに達するまで探していてとてもとても無駄
この無駄はmが大きいほど酷いことになるが、見事に君のコードはproductなんてしてmを巨大化させている
例えば、1000000 の素因数は少なくとも1000 以降は存在しないのに1001, 1002, 1003, ... , 999998, 999999, 1000000 まで探すところを想像してみて
一目気づいたのはそんなところかね。先ずはそこを直してから一局といったところか
prime_factorsだけど
quotRem なら一回で両方得られる
探索は3から+2ずつ探すべき
n が√m を超えてしまったら探索を打ち切るべき
リストの整数全部に出てくる素因数を予めリストアップしたいんだろうけど
そのprime_factorsだと絶対に素因数が存在しない、(2を除く)偶数空間と√mの後の空間をmに達するまで探していてとてもとても無駄
この無駄はmが大きいほど酷いことになるが、見事に君のコードはproductなんてしてmを巨大化させている
例えば、1000000 の素因数は少なくとも1000 以降は存在しないのに1001, 1002, 1003, ... , 999998, 999999, 1000000 まで探すところを想像してみて
一目気づいたのはそんなところかね。先ずはそこを直してから一局といったところか
212デフォルトの名無しさん
2020/04/14(火) 01:52:08.41 >>207
まあ最終手段はそうなるんでしょうね
しかし早すぎる段階での最適化はたいてい悪手って言われてるし
その前に、アルゴリズムの選定が間違ってるんではとなって、あれこれ作戦変えて
いつしか通るわけです。すると結局いつまで経ってもプロファイリングを練習する機会が来ないんですよね
まあ最終手段はそうなるんでしょうね
しかし早すぎる段階での最適化はたいてい悪手って言われてるし
その前に、アルゴリズムの選定が間違ってるんではとなって、あれこれ作戦変えて
いつしか通るわけです。すると結局いつまで経ってもプロファイリングを練習する機会が来ないんですよね
213デフォルトの名無しさん
2020/04/14(火) 01:54:06.60 あ、いや、あれこれ作戦変えるヒントを得る為にプロファイリングするのか・・・
やっぱり手を出してみるか
やっぱり手を出してみるか
214デフォルトの名無しさん
2020/04/14(火) 10:48:29.31ID:Ez55nAck 異世界人「アルゴリズムをあれこれ変える」
主人公「言語をあれこれ変えてみよう」
主人公「言語をあれこれ変えてみよう」
215デフォルトの名無しさん
2020/04/14(火) 11:07:53.93ID:aAi/G6aw 時間とメモリ両面のcomplexity考えるのは最適化以前の話
216デフォルトの名無しさん
2020/04/15(水) 17:46:40.69ID:/WUIZ9Nz >>211
39の素因数って3,13よね?
√39が6くらいだから探索区間は√mじゃ不十分かなって
でも確かに偶数はいらないから2:[3,5..]でいいね
全部の素因数のリスト作るのに全部掛け合わせて処理はひどいなと見直して思った
リストは早くするなら使わない方針なのね
Quatremとリスト以外(sequenceが代替?)調べて組み込んでみようかな
39の素因数って3,13よね?
√39が6くらいだから探索区間は√mじゃ不十分かなって
でも確かに偶数はいらないから2:[3,5..]でいいね
全部の素因数のリスト作るのに全部掛け合わせて処理はひどいなと見直して思った
リストは早くするなら使わない方針なのね
Quatremとリスト以外(sequenceが代替?)調べて組み込んでみようかな
217デフォルトの名無しさん
2020/04/15(水) 17:47:28.61ID:/WUIZ9Nz お礼書き忘れたすみません
回答ありがとうございますなんとか通ってもらいます
回答ありがとうございますなんとか通ってもらいます
218デフォルトの名無しさん
2020/04/15(水) 19:54:09.51ID:JKZ0KcR7 >>216
なんの話かよく知らないけど39を素因数分解してるのなら、
約数として3が見つかったら、その時点でもう39が素数じゃないことが判明するから、13を調べる必要ないよ
√39以下の数字調べればオッケー
なんの話かよく知らないけど39を素因数分解してるのなら、
約数として3が見つかったら、その時点でもう39が素数じゃないことが判明するから、13を調べる必要ないよ
√39以下の数字調べればオッケー
219デフォルトの名無しさん
2020/04/15(水) 19:55:22.34ID:JKZ0KcR7 間違えた
「素因数分解してるのなら」じゃなくて「素数判定してるのなら」だった
「素因数分解してるのなら」じゃなくて「素数判定してるのなら」だった
220デフォルトの名無しさん
2020/04/16(木) 01:02:59.81ID:6p+dWGIK >>208
計算速度や使用メモリ量以前に、解が正しくないよ。
試しに sumOfDivided [8] やってみ。
もう少し言うと、prime_factors 関数がおかしい。
関数名に相応しくない計算をしていられる。
まずは、必要な個数の正しい素数列を作ることを考えた方がいいと思うぞ。
計算速度や使用メモリ量以前に、解が正しくないよ。
試しに sumOfDivided [8] やってみ。
もう少し言うと、prime_factors 関数がおかしい。
関数名に相応しくない計算をしていられる。
まずは、必要な個数の正しい素数列を作ることを考えた方がいいと思うぞ。
221デフォルトの名無しさん
2020/04/16(木) 01:13:24.21 >>216
あ、説明で嘘を吐いてしまった。確かに√m以降に素因数は存在しないは偽だった
それでも尚、√で打ち切っていい手筋は揺るがない。
√39より前の3を発見して、39 `quot` 3 (=13) に対して再帰的に同じことをする
ただし割ることを試すのは今割り切れた素数からね(同じ素数で複数回われることもある)。
もう一回3で割ろうとして失敗し、次は√13 を超えるので打ち切って、13 は素数と判定してリストに加える
だから結果として、√m 以降の素因数を取りこぼすことはない
あ、説明で嘘を吐いてしまった。確かに√m以降に素因数は存在しないは偽だった
それでも尚、√で打ち切っていい手筋は揺るがない。
√39より前の3を発見して、39 `quot` 3 (=13) に対して再帰的に同じことをする
ただし割ることを試すのは今割り切れた素数からね(同じ素数で複数回われることもある)。
もう一回3で割ろうとして失敗し、次は√13 を超えるので打ち切って、13 は素数と判定してリストに加える
だから結果として、√m 以降の素因数を取りこぼすことはない
222デフォルトの名無しさん
2020/04/16(木) 09:43:04.65ID:xRrLSzP4 >>221
素数系のアルゴリズムは手続き的にはよく知られたものが色々あるけど
それをHaskellっぽく(宣言的に)定義しろって言われると割と悩む
STMonadとか使えば手続き的な実装はできるけど何かに負けた気分になる
素数系のアルゴリズムは手続き的にはよく知られたものが色々あるけど
それをHaskellっぽく(宣言的に)定義しろって言われると割と悩む
STMonadとか使えば手続き的な実装はできるけど何かに負けた気分になる
223デフォルトの名無しさん
2020/04/16(木) 12:23:07.85ID:DtoAMVDb 速度あげようと思ったら、どうのように計算するかということに介入する必要があるから手続き的になるのはしょうがないのでは
224デフォルトの名無しさん
2020/04/16(木) 14:44:08.63ID:ta7mONc0 魔法を使える主人公がなぜか銃を乱射するというマナー違反
を許せない真面目系脇役の魅力
を許せない真面目系脇役の魅力
225デフォルトの名無しさん
2020/04/17(金) 17:52:04.90 騎士道はCで書くなど、汚い真似をして勝つことを認めていない
226デフォルトの名無しさん
2020/04/17(金) 18:51:48.64ID:Tw57yEwr ごきげんよう、高貴なるhaskellプログラマの皆様方
今日も可憐におプログラミングですことよ
ほほほ
今日も可憐におプログラミングですことよ
ほほほ
227デフォルトの名無しさん
2020/04/17(金) 23:16:02.21ID:kOeZUqy9 haskellマスターすると新型コロナにかからないってよ
228デフォルトの名無しさん
2020/04/18(土) 03:43:48.65ID:ehKqAcW4 コロナ菌に強い言語なん?
229デフォルトの名無しさん
2020/04/18(土) 11:31:33.48ID:v8V9P+IO C言語プログラムなどを実行すると電磁波の影響で身体への副作用が発生するからな
副作用を抑え人間本来の自然な免疫力を高めるのがhaskell
副作用を抑え人間本来の自然な免疫力を高めるのがhaskell
230デフォルトの名無しさん
2020/04/18(土) 12:26:02.03ID:kkncOpcu haskellマスターで彼女ができました!
231デフォルトの名無しさん
2020/04/18(土) 13:41:19.98ID:urv0mT/N >>229
我慢できずにモナドに手を出して感染する事例が後を立たない
モナドは自粛すべきと何度も言われているのに
屁理屈をこねて手を出す者が多すぎる
本当にHaskellに副作用がないのだと詭弁を弄せずごり押しするのならば
絶対にモナドをやるべきではないと言われている
我慢できずにモナドに手を出して感染する事例が後を立たない
モナドは自粛すべきと何度も言われているのに
屁理屈をこねて手を出す者が多すぎる
本当にHaskellに副作用がないのだと詭弁を弄せずごり押しするのならば
絶対にモナドをやるべきではないと言われている
232デフォルトの名無しさん
2020/04/18(土) 19:32:57.82ID:DCiZBX2v モナドを「やる」ってなんだよw
モナドを禁止薬物か何かと勘違いしてるのか?
すべての人間は二分される
すなわち「モナドである」人間と、そうでない人間、だ
俺はモナド
お前はモナドではない
「上」で待ってるで
モナドを禁止薬物か何かと勘違いしてるのか?
すべての人間は二分される
すなわち「モナドである」人間と、そうでない人間、だ
俺はモナド
お前はモナドではない
「上」で待ってるで
233デフォルトの名無しさん
2020/04/18(土) 20:20:58.00ID:aIlZnP1D おれモナド使いだけど、おまえ俺に使われてんのか
234デフォルトの名無しさん
2020/04/18(土) 20:52:26.11 C言語プログラムなどを実行するとストレスの影響で毛髪への副作用が発生するからな
脱毛を抑え人間本来の自然な論理を書けるのがhaskell
脱毛を抑え人間本来の自然な論理を書けるのがhaskell
235デフォルトの名無しさん
2020/04/18(土) 22:32:39.62ID:DCiZBX2v >>233
モナドに使われてるやつほど、自分はモナドを使ってると勘違いするよなw
モナドに使われてるやつほど、自分はモナドを使ってると勘違いするよなw
236デフォルトの名無しさん
2020/04/18(土) 23:24:30.65ID:jMxNMUbH モナドを使う時、モナドもまたあなたを使っているのだ
237デフォルトの名無しさん
2020/04/19(日) 01:35:32.46ID:WM8Q0HWB [状態モナド](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)も随伴で書ける。
[随伴](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)も随伴で書ける。
238デフォルトの名無しさん
2020/04/19(日) 01:36:44.08ID:WM8Q0HWB ``` 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)`が集合
として同型になることを使うと、実質的な随伴の役割を果たす。
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)`が集合
として同型になることを使うと、実質的な随伴の役割を果たす。
239デフォルトの名無しさん
2020/04/19(日) 23:13:07.04ID:hRJ8C0Os その話題は伸びない。このスレにはHaskellerいないからコード貼ったって誰も読めないし圏論を理解してるやつなんかいないから
240デフォルトの名無しさん
2020/04/20(月) 03:13:59.48 Haskeller 戻ってきて
241デフォルトの名無しさん
2020/04/20(月) 04:21:55.04ID:VYi0JRSU エアプしかいないの?
242デフォルトの名無しさん
2020/04/20(月) 12:33:40.11ID:KoBCLV49 ここには数学とプログラミング両方できる人がいるようだからお聞きしたいのだけど
プログラミングのクロージャーってトポロジーのクロージャーから引っ張ってきた用語なの?トポロジーの方の定義を眺めてみてもイマイチつながりが理解出来なくて
プログラミングのクロージャーってトポロジーのクロージャーから引っ張ってきた用語なの?トポロジーの方の定義を眺めてみてもイマイチつながりが理解出来なくて
243デフォルトの名無しさん
2020/04/20(月) 12:39:30.50ID:PYrLoVAx まったく別
244デフォルトの名無しさん
2020/04/20(月) 12:40:47.15ID:gGVXVDIS 量子化とかもおいおいって思う
245デフォルトの名無しさん
2020/04/20(月) 13:57:45.52ID:a2Vdb5nD 全く別なんすね
ありがとうございます
ありがとうございます
246デフォルトの名無しさん
2020/04/20(月) 21:31:54.79ID:CMTCfm7W 別でもあるし同じでもある
具体的には
具体的には
247デフォルトの名無しさん
2020/04/21(火) 00:24:43.90ID:dIhpNk/e 量化子を量子化!
248デフォルトの名無しさん
2020/04/21(火) 01:33:16.33ID:iOWmjrKd そう言えば、佐野量子化って子もいたな
249デフォルトの名無しさん
2020/04/21(火) 21:16:16.93ID:JxCMv4cD この言語って純粋に理論的な側面に興味を感じてしまって、アプリ制作進まなくなるわ
250デフォルトの名無しさん
2020/04/23(木) 00:29:18.48ID:wNzYQ5IM それよりメモリ管理の理論に興味を感じないか
static変数のようなものを使えばメモリ管理と無縁のアプリ製作ができるのだが
static変数のようなものを使えばメモリ管理と無縁のアプリ製作ができるのだが
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【中国外務省】日中関係悪化は高市氏に責任と名指しで非難… ★2 [BFU★]
- 外務省局長は無言で厳しい表情…日中の高官協議終了か 高市首相“台湾”発言で中国が強硬対応 発言撤回求めたか…★2 [BFU★]
- 日本行き空路49万件キャンセル 中国自粛呼びかけ 日本行きチケット予約の約32%に相当 [ぐれ★]
- 小野田紀美・経済安保担当相「何か気に入らないことがあればすぐに経済的威圧をする国への依存はリスク」 [Hitzeschleier★]
- 政府、株式の配当など金融所得を高齢者の医療保険料や窓口負担に反映する方針を固めた [バイト歴50年★]
- 【維新】吉村知事「中国人観光客だけに頼るビジネスモデル変えていかないといけない」「高市総理の発言は撤回する必要はない」 [Hitzeschleier★]
- 中国高官と話す外務省局長の表情、やばい ★2 [175344491]
- 中国外務省「日中関係の悪化は高市早苗首相が原因」と名指しで強く非難。キタ━(゚∀゚)━! [153490809]
- 【悲報】日本人「日本が中国と戦争になったら世界中の国が応援してくれるぞ!」 [616817505]
- 小野田経済安保相「すぐに経済的威圧するところへの依存はリスク」😲 [861717324]
- 日本政府「高市総理の発言は問題ないと伝え、中国総領事のSNS投稿は問題があると中国に伝えました😊」 [931948549]
- 【ほんこん悲報】吉本新喜劇の中国公演が中止に! [523957489]
