関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
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昔は日本でも人気あったのにどうしてこうなった
92(1): 2022/03/28(月)00:37 ID:NMG6YJEi(1) AAS
人気ないって事？
そりゃそうでしょ？
お世辞にも使いやすいとは言えない
93: 2022/03/28(月)17:03 ID:o+cr0I/L(1) AAS
>>92
使いにくいと感じるところを教えてください
94: 2022/03/28(月)18:04 ID:kSkV8rOb(1) AAS
文字列操作のパッケージを作っている。
１文字づつ評価して処理するのは出来るけど
ループで実現しようとすると、上手くいかない。
[Char]型とString型で混ぜて作ったせいか
ボトムアップ方式で作るのが間違えなのか。
まだまだ初心者の愚痴。
95: 2022/04/07(木)21:21 ID:v9cHeTKb(1) AAS
Stringは[Char]の別名だが
96: 2022/04/08(金)04:13 ID:ZfK1p/yR(1) AAS
Haskell-jp slackってどうなの？
97: 2022/04/08(金)13:18 ID:7u/c8YSR(1) AAS
とりあえず入ってみたら？
98: 2022/05/25(水)23:07 ID:HGLTMsh1(1/2) AAS
>>91
純粋関数型といいつつ実際にはそうではないし
結局はモナドも使わなきゃ実用的なものは作れない
よく例題に上がるようなシンプルな書き方すると遅いし
Lispでも同じようにあった問題で綺麗な書き方よりも早い書き方が重視される
そうこうしているうちにどんどん人は離れていったよ
理念が現実に負けたのだと思う・・
99: 2022/05/25(水)23:31 ID:HGLTMsh1(2/2) AAS
あとそうだ
なによりもデバッグがあまりに困難すぎるし
デバッグのために型制約とか何バカやってんだろな・・って思うことしばしば
作業環境が悪いのがまるで改善されないから嫌になる
100: 2022/05/27(金)23:36 ID:IybSybG6(1) AAS
型はコンパイル時にしか存在しない
モナドクラスもコンパイル時にしか使わない
実行時に使われているのはモナドのインスタンスのみ
そのインスタンスは任意の言語で再発明できる
どの言語でデバッグしても困難は同じ
結局は再発明をやらなきゃ実用的な知識が身につかない
101: 2022/05/27(金)23:58 ID:IeVDSTdQ(1) AAS
今だにprintfデバッグに頼ってるなんてHaskellくらいのものかもね・・
102: 2022/05/28(土)00:21 ID:1xwNIN3l(1) AAS
Cのライブラリに丸投げする効率化を考えれば
デバッグの効率化にはこだわらない方が丸投げしやすい
103: 2022/07/18(月)03:26 ID:zDzunRmU(1) AAS
なんでここまで人気なくなったんだろうな
104: 2022/07/18(月)14:14 ID:IRYfc5Qz(1) AAS
声の大きい人たちが使わなくなっただけでは
105: 2022/07/19(火)17:39 ID:6V/PH7AR(1) AAS
個人が言語を自作できるレベルになってる説
団体は必須ではない
106(1): 2022/08/07(日)20:06 ID:My+goEll(1) AAS
ハマりました
次のコード通らん理由が分からん
import Data.Ratio
[[ a,b],[c,d]] *** [[ p,q],[r,s]] = [ [ a*p+b*r, a*q+b*s], [c*p+d*r],[c*q+d*s]]
i [[ a,b],[c,d]] = [[d,-b],[-c,a]]
a :: [[Rational ]]
b:: [[Rational ]]
省15
107(1): 2022/08/08(月)19:26 ID:NwZYLTPj(1) AAS
>>106
リストの長さがマッチしてない
長さが2でないリストをどこで作ったのかはソースを読めば分かる
***は長さが3のリストを返す
108: 2022/08/09(火)10:46 ID:VUIfOlq+(1) AAS
>>107
あ、ホントだ
コピペミスかなんかか
thx
109: 2022/08/11(木)18:04 ID:9dSVJvSP(1) AAS
おまいらこのクソ暑い夏をどうにかするCOOLなコードをHaskellで簡潔に書けんのか？
110: 2022/08/25(木)11:20 ID:97f0Pf6Z(1) AAS
外部ﾘﾝｸ[html]:hackage.haskell.org
listen ~(w, a) = (w, (a, w))
この~はどういう文法なの？
111: 2022/08/25(木)21:14 ID:+PRPT5FW(1) AAS
外部ﾘﾝｸ[html]:www.sampou.org
112: 2022/08/25(木)21:15 ID:3SQ1xNiu(1) AAS
stack でwxHaskell インストールしようとしたんだが、
> stack install wxHaskell
とすると
Unknown package: wxhaskell
とでてインストールできない。
StackだとwxHaskellインストールできないの？んなわけないと思うんだが。
公式見てもstackの場合の方法が書いてない。
113: 2022/08/29(月)23:25 ID:mJ1Da6QY(1) AAS
stackage に入っていないからじゃないかな？
最近アップデートされていないし
並行処理も問題ありそうだし…
stack と GUI で検索したらこんな記事があった
外部ﾘﾝｸ:www.stackbuilders.com
114: 2022/08/30(火)19:30 ID:XzDfLd3k(1) AAS
みんな中央集権クラウドに騙されてる
上下前次1-新書関写板覧索設栞歴
あと 553 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s