関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
38: 2022/01/03(月)11:20 ID:TEX8BSo6(1/2) AAS
>>37
今回のお題はワードカウント、ファイルサイズがギガになる場合を想定
スタックなりヒープなりを消費しない手法は？です
Cなどで実装した場合、ループでカウントして再帰なしスタックもヒープも消費なしとか(可読性は...)
他にマルチスレッドで分割カウントした時の手法とか(ディスクのIOで律速か)
39(1): 2022/01/03(月)12:59 ID:hLrwvjQQ(2/2) AAS
今回の場合１ワード消費するたびにスタック一個消費するから必要なメモリリソースが倍以上になる可能性もあるから意味はあるかな
特にコレは>>34の方法だと必要なメモリリソースがデータ保持する分を除けばlogオーダーになるからな
しかも読み込んだデータは順次捨てていけるし(そこまでのカウント結果を保持しないといけないので有限オートマトンでは無理だけど有限オートマトン以上、チューリング完全以下、こういう計算クラスは名前ついてるのかな？)
個人的にはこういうときメモリ線形、時間線形までは許さないと大した事できないことが多いのでそれ以上のこだわりは持たないようにしてる
数学的研究対象とかにするなら別だけど
40: 2022/01/03(月)15:29 ID:TEX8BSo6(2/2) AAS
>>39
今回なにを確認したのか
それは、Cで組むような単純繰り返しを同じ感覚でヒャッハーとhaskellの遅延評価で行うと
ヤバイと言う教訓とそれを回避する手法
41: 2022/01/04(火)16:11 ID:h755Av8k(1) AAS
Haskellを身に付けた人は他の言語も使えると予想しますが、いくつもの言語の中からHaskellを選んで
プログラムを書くのはどんな課題、問題を解決したいときなんでしょうか
42: 2022/01/04(火)16:44 ID:HuVGMWib(1) AAS
課題が「ガベージをコレクトしたい」だけだったとしても
じゃあ静的型は不要だとかジェネリクスは不要だとはならない
だから課題と関係ない部分を作り込む
43(1): 2022/01/05(水)10:28 ID:imDyM2+l(1) AAS
Twitterの検索で
@ohagiya @kenokabe
と入れると楽しいよな
44: 2022/01/11(火)17:47 ID:rZde0CTm(1) AAS
>>43
ひどすぎるだろこれ
可哀想に
45: 2022/01/14(金)10:48 ID:3PF6dXYX(1) AAS
最新の怪文書も読んだけどさ、毛の壁は毎回毎回威勢だけは良いんだよなw
たとえば「ちくわは民事でもやる！」「ちくわはもう詰み」（9年前）
「ちくわはもう死に体」（7年前）とかさ。
死に体なのに、つい最近もブログで恨み節w
ネズミ一匹、始末できないなんてだらしがないな
46: 2022/01/15(土)18:49 ID:chCIM2fB(1) AAS
質問です
array と List の性能の差がいまいちピンと来ません
何か「この例ではどう考えてもarray、ほらこんなに性能に差が出る」って例ご存知ないですか？
47: 2022/01/16(日)12:22 ID:f2QwXzzi(1/4) AAS
質問です
何かの文章で
square x = x*x
print $ square $ square 3
のようなプログラムをHaskell は
square $ square 3
→ square ( square 3 )
→ ( square 3 ) * ( square 3 )
→ ( 3 * 3 ) * ( 3 * 3 )
のようになる
省15
48(1): 2022/01/16(日)13:40 ID:rC9oNTrC(1) AAS
メモ化は独自実装ではなく仕様
何かの文章は嘘
でも騙されたことがないので被害が存在しないし、加害者も存在しない
49: 2022/01/16(日)14:36 ID:f2QwXzzi(2/4) AAS
>>48
仕様なんですか？
Language Reportかなんかに書いてありますか？
50: 2022/01/16(日)14:39 ID:f2QwXzzi(3/4) AAS
何かの文章は "ウォークスルー Haskell" というやつでした
外部ﾘﾝｸ:walk.northcol.org
3 ではなく 1 + 2 でやってました
51(1): 2022/01/16(日)18:39 ID:ZlAL8rfa(1) AAS
seqだと結果はどうなるんですか？
52: 2022/01/16(日)18:54 ID:f2QwXzzi(4/4) AAS
>>51
square x = x * x
を
square x = seq x $ x * x
にして明治的に“xを評価してからx*xを計算せよ”に変えるともちろん*ひとつです
それは納得いきます
ウォークスルーHaskellにもそうなると書いてあるしHaskell Language Report 2010にもseqで正格評価になると書いてあります
なのでコレは納得いくんですがseqなしの場合の動作が文書と異なるように見えます
もちろん参照透過性があるので一度計算した結果をメモ化して再利用しても同じ答えにならないといけないので答え自体は同じになるわけですけど
コレはたまたまGHCの開発者が優秀でHaskellの標準動作としては保証されない事までやってくれてるだけなのか、標準動作としてメモ化しないといけないことになってるのかどっちだろうと
省1
53: 2022/01/17(月)04:24 ID:FNscPcIY(1) AAS
銀の弾丸のHaskellをIT企業が採用したら市場を席捲できるのでは？？？
実際そうなると思う？
54: 2022/01/17(月)13:17 ID:3dpBVALW(1) AAS
Windows10にVSCode入れて、Haskellを遊ぼうとしたけど上手く入らない。
コマンドラインで細かく入れて遊ぶしかないかな。
55: 2022/01/18(火)00:23 ID:1uCkeDxh(1) AAS
外部ﾘﾝｸ:www.haskell.org
>GHCup is an installer for the general purpose language Haskell.
56(2): 2022/01/27(木)08:50 ID:NJ4yaxSd(1) AAS
外部ﾘﾝｸ:qiita.com
コメント欄ひどすぎだろ
@stken2050（これ岡部健）が非道いので皆さん通報してほしい
57: 2022/01/27(木)10:10 ID:orDFdZXN(1) AAS
毛さんは昔から色々酷いが
>>56のコメ欄の流れだけでいうと単に@Zuishinが分が悪いわ
珍妙な独自用語は早めに芽を摘まないといけない
58: 2022/01/27(木)11:59 ID:oUTYjCet(1) AAS
岡部さんこんにちは
59: 2022/01/27(木)12:03 ID:eY59BLQP(1) AAS
Twitterﾘﾝｸ:mutamac
引用
「Linuxの元になったMINIXが復権中。期待。」という自称ギークとの話』の魚拓を取りました 外部ﾘﾝｸ[pdf]:nmuta.dip.jp
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
60(1): 2022/01/27(木)23:00 ID:7u9WcLA6(1) AAS
そうじゃなくて、PHPやHaskellごときが偉そうにすんなって事だろ。
質問者が来たらお茶菓子くらい出せ。
底辺やマイナー言語はそうするべき。
61: 2022/01/28(金)01:07 ID:dNnJMVwD(1) AAS
誰かをディスるよりも、こういう話の方が面白くない？
外部ﾘﾝｸ:www.reddit.com
62: 2022/01/28(金)09:50 ID:F+QYYxM3(1) AAS
>>60
そもそも質問者が来たと思ってないんだろう
強いて言うなら「命令者」が来たと思われてるね
63(1): 2022/02/01(火)14:44 ID:VXi8EI6O(1) AAS
Qiitaの運営どうなってんのこれ
外部ﾘﾝｸ:qiita.com
64: 2022/02/01(火)15:19 ID:rr+/bjEX(1) AAS
Twitterﾘﾝｸ:kuratan
Twitterﾘﾝｸ:5chan_nel (5ch newer account)
65: 2022/02/01(火)18:35 ID:e9RXuv9o(1) AAS
>>56
どいつも誰だか知らんしどーでも良いが
見た感じ、＠Zuishinの記事は確かにしょぼい記事だが、@stken2050の反論にも無理があるな
＠Zuishinに関しては、大きな主張をしている割に根拠がかなりしょぼいせいで、記事として価値が低くなっているように思える
対する@stken2050の反論だが、「排他的ではないので反対ではない！」云々は無理がありすぎ
「反対」という自然言語の単語が元々ガバガバなのは誰だって知ってるんだから、それに対して自分で勝手に厳密な定義を与えて、その定義に基づいて矛盾を指摘したって、そりゃ「日本語わかりますか」言われるわ
さらに＠stken2050の反論ではwikipediaと異なる高階関数の定義を使っているが、それならwikipedia以上に信憑性の高いソース出して、英語版wikipediaに書かれている高階関数の定義に疑問を呈するのが筋
それをしてないせいで論理的にぶっ飛んで見える
66: 2022/02/02(水)12:32 ID:4gWS4lIC(1) AAS
>>63
無事、記事が凍結されたね
67: 2022/02/04(金)08:30 ID:iaw7RH3I(1) AAS
完全に荒らしやろあれ
上下前次1-新書関写板覧索設栞歴
あと 600 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s