関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
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
完全に荒らしやろあれ
68: 2022/02/08(火)08:58 ID:t2yWr+Jt(1) AAS
Haskellって日本人に受けそうで実際一時期話題になったけど
結局下火になっちゃったね
なんでだろう
69: 2022/02/08(火)12:34 ID:iTFetD6R(1) AAS
haskellでしばらく何かを学んだら、元いたところに帰っていくんじゃないかな
70(1): 2022/02/09(水)10:14 ID:9eeUOmy1(1) AAS
型とGCが下火になったから
型無しならPython
GC無しならRustに行く
71: 2022/02/09(水)10:49 ID:Lp+6eS6t(1) AAS
型下火になることなんてある？
72: 2022/02/09(水)13:51 ID:LMpY9ePh(1) AAS
>>70の中では下火になったんだろ
73: 2022/02/09(水)14:32 ID:4IAm5Mq6(1) AAS
両方なしならどこへ行けばいい？
74: 2022/02/09(水)16:30 ID:tjRbJd/i(1) AAS
両方ないならAPIと言語が無関係なクラウドみたいな感じになりそう
75: 2022/02/09(水)19:00 ID:/Rs/AQCx(1) AAS
Cじゃだめなん？
あと、型なしじゃなくて、動的型で良ければ、
Objective-Cがかなり自由度高かった気がする。
76: 2022/02/10(木)14:08 ID:Rx8BtNec(1) AAS
単純に難しいからだろ
元の言語仕様はシンプルなのに、ソフトウェア工学的なノウハウに基づいてOOPと同等以上の実装を実現しようとすると、とたんに大量のGHC拡張と難解な型が出てきてわけわからんくなる
77: 2022/02/10(木)17:05 ID:0/0SR33O(1) AAS
lensの型とか複雑すぎる
78: 2022/02/11(金)01:01 ID:oG7lMZNP(1) AAS
setterの存在自体がマナー違反ということにすればある意味単純なんだよ
マナー違反したせいで複雑すぎるのは自己責任、言語のせいにするなってね
79(1): 2022/02/12(土)14:38 ID:3EVMkjej(1) AAS
岡部健
80: 2022/02/12(土)14:59 ID:MmDcA0PA(1) AAS
>>79
こいつに“Ｈ“はムリ（爆）
“三擦り半“で昇天するよw
81: 2022/02/13(日)02:50 ID:gJE3VDE6(1) AAS
GHC方言とかの知識が豊富な奴ってどちらかといえば反抗的な性格だと思う
それなのに、オリジナルの仕様への忠誠心が高ければ高いほど有能みたいな誤解がある
その上更にいかにも忠誠心なさそうなキャラまで作られてるし
82(2): 2022/02/14(月)11:54 ID:4AqyxcJv(1/4) AAS
最近数値計算の勉強してるんですけど、よく最近高速フーリエ変換を用いた乗算の高速化なんて話が出てきます
サイズの大きい整数の掛け算とかを高速化する手法で桁数n同士の乗算のコストをn log(n)に抑えるのだとか
これGHCのInteger型の乗算には応用されてますかね？
やっぱりそこまで速さに拘りたいならご自分でのスタンス？
GHCのソースが読めるほどのスキルはないのでよくわからない
そもそもGHCのソースってどこに転がってます？
83(1): 2022/02/14(月)20:10 ID:TSLH56nb(1) AAS
>>82
ghc haskell ソース でググれば見つかる
84: 2022/02/14(月)20:56 ID:uQiQyHca(1) AAS
ソースを1行も読まなくても分かることがいくつかある
IntとIntegerの二刀流ができるなら三刀流もできること
第二第三の型を追加するだけのためにコンパイラをコンパイルするのは無意味過ぎること
85: 2022/02/14(月)21:36 ID:4AqyxcJv(2/4) AAS
>>82
見つからないorz
>>83
ちょっと数値計算の練習したいんですよ
例えば円周率10万桁とか
さすがに10万桁とかだとghcはデフォルトでは対応してくれないのかなと
仮にできるにしても10万桁×10万桁の計算で桁数^2オーダーで計算したのではその一個の掛け算で何年もかかってしまうことになりかねません
ただのarrayやlistなら10万要素位は扱ってくれそうですけど
ただHaskellでその手の大量データを扱うのは色々難しい問題があるらしいと言う話は聞いてたので今までは「そういうのはHaskellは向かない、そういう時はC」とか使い分けてました
しかしやはりHaskellでできないのは面白くないのでHaskellでもそういうでかいデータを扱えるスキルを身につけたいなぁというのもあります
省3
86: 2022/02/14(月)21:36 ID:4AqyxcJv(3/4) AAS
あら、アンカー一個ずれ
87(1): 2022/02/14(月)21:54 ID:BjFXlOcH(1) AAS
GMP使ってるかもしれないし使ってないかもしれないらしい[1]
GMP使ってるならFFTベースのSchonhage-Strassenが働くしGMP使いたいならライブラリ[2]がある
[1]外部ﾘﾝｸ:stackoverflow.com
[2]外部ﾘﾝｸ:hackage.haskell.org
88: 2022/02/14(月)23:13 ID:4AqyxcJv(4/4) AAS
>>87
おお、thx
なるほどGMPというのを使ってるんですね
--Stack excangeより
GMP appears to use Schonhage-Strassen, but not until you start dealing with numbers with 10s of thousands of decimal digits.
GMPではSchonhage-Strassenを使用しているようですが、小数点以下が何万桁もあるような数字を扱うようになるまでは、このようなことはないようです。
--wikiより
GMPは、どんなオペランドの大きさでも他の多倍長整数ライブラリよりも高速であることを目標としている。このために、以下の点を重視している。
基本算術型としてフルワードを使う。
オペランドの大きさによってそれぞれ異なるアルゴリズムを使う。非常に大きな数に有効なアルゴリズムは、小さい数では遅いことが多い。
省8
89(1): 2022/02/15(火)00:40 ID:2crEr/EW(1) AAS
Haskellの多倍長計算、昔は大変だったけど今はよくなった、みたいな記事が10年前くらいに書かれてた
外部ﾘﾝｸ[html]:tanakh.jp
90: 2022/02/15(火)19:39 ID:ujR6VeHM(1) AAS
>>89
おお、先人がいたww
いや〜Haskellって速さ求めるならあんまりいい選択肢ではなさそうですけどやっぱり挑戦してみたくなりますね
その人のページのリンク先がすごく参考になりました
ようやくChudnovskyの公式とかいうのがなんで最速なのかわかりました
収束速度そのものはどう考えてもAGMの方が早いのになんでChudnovskyの方が早いんだと
Binary Splittingという技使ってまとめて計算していく方法があるんですね
ちょっと感動しました
まぁともかくInteger型の計算で10億桁くらいまで実用的な？速度で計算できるもんなんですね
ボチボチやってみます
91(1): 2022/03/28(月)00:29 ID:dN2icdd7(1) AAS
Haskell昔は日本でも人気あったのにどうしてこうなった
上下前次1-新書関写板覧索設栞歴
あと 576 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s