関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
118: デフォルトの名無しさん [sage] 2022/09/20(火) 01:04:13.74 ID:zJWv8hkC ghci --show-options | wc -l Output: 1200 http://mevius.5ch.net/test/read.cgi/tech/1639713446/118
119: デフォルトの名無しさん [sage] 2022/09/24(土) 01:20:51.22 ID:v6+/ywPo 書き込んでいた専門家たちが書き込みをやめたので下火になっている感が出ているわけですね。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/119
120: デフォルトの名無しさん [sage] 2022/09/24(土) 02:26:09.94 ID:vtJ0GRzX イヤ、でも実際した火なんじゃない？ やっぱりHaskellで“性能”と“可読性”の両立を図るのはかなり難しい やっぱり言語の生い立ちというか、性格というか、性能面、特に速度面の性能面はどうしても優先順位が低い、しかし実務上はもちろんそこは最重要factorだからそこがでないとした火になるのもやむを得ないかと http://mevius.5ch.net/test/read.cgi/tech/1639713446/120
121: デフォルトの名無しさん [sage] 2022/09/24(土) 03:13:03.66 ID:v6+/ywPo 仕組みはわからんが計画的だろ。 言い換えると、騒ぐ奴らがうざいから騒がなくなるまで下火なんだろう。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/121
122: デフォルトの名無しさん [sage] 2022/09/24(土) 03:21:31.25 ID:cIbikbIQ てか元々世界のメジャーな言語に躍り出ようというつもりなんかHaskellコミュニティにはないのかもね Haskellコミュニティなんて学者の集合体でしょ？ 実務になんか元々興味ないんじゃない？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/122
123: デフォルトの名無しさん [sage] 2022/09/24(土) 17:34:21.27 ID:v6+/ywPo StackでGUIプログラミングしたいのですが、stackでインストールできるライブラリで おすすめのものはありますか。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/123
124: デフォルトの名無しさん [] 2022/09/27(火) 18:16:48.82 ID:2m9lsdvh haskellで作ったチェスゲームありますか コマとボードはきれいなグラフィックで マウスでコマを動かすチェス http://mevius.5ch.net/test/read.cgi/tech/1639713446/124
125: デフォルトの名無しさん [] 2022/09/27(火) 19:10:55.70 ID:rbvXlCo3 来年のRustがこの状態。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/125
126: デフォルトの名無しさん [sage] 2022/09/27(火) 19:55:55.43 ID:CVmtKHy4 Haskellに飛びつく層は Rustには飛びつかんよね Rustには面白みが無い http://mevius.5ch.net/test/read.cgi/tech/1639713446/126
127: デフォルトの名無しさん [sage] 2022/09/27(火) 20:30:27.34 ID:Ctbd02WQ とにもかくにももう少しHaskellは速度性能を出すための方法の標準化について詰めてほしい Haskell2010の文章のメモ化の部分の詰めがダメすぎる 実情のGHCとかで提供されてるものと差がありすぎて意味がわからん GHCでの研究成果をもっと標準仕様に取り入れてほしい 何をどうやったら確実にドレコレはメモ化されるかハッキリ文書化してほしい http://mevius.5ch.net/test/read.cgi/tech/1639713446/127
128: デフォルトの名無しさん [sage] 2022/09/28(水) 02:23:18.14 ID:4krAnsc6 整理する気がないからな どんどんカオスになって行く http://mevius.5ch.net/test/read.cgi/tech/1639713446/128
129: デフォルトの名無しさん [sage] 2022/09/29(木) 03:37:20.42 ID:IPtlf3/T いまだにGHCというとGuarded Horn Clausesの方のGHCを先に思い出す http://mevius.5ch.net/test/read.cgi/tech/1639713446/129
130: デフォルトの名無しさん [sage] 2022/10/01(土) 19:53:52.72 ID:7gwAD0df 1番実用的な関数型言語やその影響が強い言語って何になるの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/130
131: デフォルトの名無しさん [sage] 2022/10/01(土) 20:00:27.14 ID:IQLzQmPp Cじゃね http://mevius.5ch.net/test/read.cgi/tech/1639713446/131
132: デフォルトの名無しさん [sage] 2022/10/01(土) 22:58:35.36 ID:76wmMtDf 標準規格を一番忠実に実装した奴が優勝みたいな考え方は全然数学的ではない http://mevius.5ch.net/test/read.cgi/tech/1639713446/132
133: デフォルトの名無しさん [sage] 2022/10/03(月) 18:02:59.08 ID:LGdcguEE lisp系やocamlとか。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/133
134: デフォルトの名無しさん [sage] 2022/10/04(火) 08:48:04.42 ID:S20URLlI ルールがない状態からルールが守られている状態へ誘導するか 何もしてないのに持続するルールを拾い集めるかの違い http://mevius.5ch.net/test/read.cgi/tech/1639713446/134
135: デフォルトの名無しさん [] 2022/10/07(金) 20:15:05.17 ID:xpYSJYo6 F#では。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/135
136: デフォルトの名無しさん [] 2022/10/07(金) 20:28:34.11 ID:lAeL408c Erlang http://mevius.5ch.net/test/read.cgi/tech/1639713446/136
137: デフォルトの名無しさん [sage] 2022/10/14(金) 22:28:23.68 ID:GVf4qcGD ラムダや <- や case で束縛される変数の値は二回以上計算されない seqは計算のタイミングを変える効果しかない 難しいのは = で定義される名前だが = の右辺で頑張ってseqを使っても報われない http://mevius.5ch.net/test/read.cgi/tech/1639713446/137
138: デフォルトの名無しさん [sage] 2022/10/14(金) 23:54:06.57 ID:91YiMGAd でもhaskell 2010 reportには評価順を変える方法はseqしか規定されていない GHQなどの実際の処理系でそれ以外のタイミングでメモ化されたりするのはあくまで処理系の独自仕様でしかない ある処理系でメモ化されて早かったプログラムが別の処理系で同じ速度で処理してくれる保証などどこにもない http://mevius.5ch.net/test/read.cgi/tech/1639713446/138
139: デフォルトの名無しさん [sage] 2022/10/15(土) 08:05:01.19 ID:/BlEbfcm >>138 もしかして、個人の感想のようなものを悪と思ってるのかね そして客観的事実 (ようするに絶対正しい事実) と称するものが正義だと 個人の感想を排除するべきという思想はどこにも規定されてないでしょ http://mevius.5ch.net/test/read.cgi/tech/1639713446/139
140: デフォルトの名無しさん [sage] 2022/10/15(土) 09:49:59.76 ID:fUoifk8c メモ化に関しては俺も>>138と同じような感想持ってるな http://mevius.5ch.net/test/read.cgi/tech/1639713446/140
141: デフォルトの名無しさん [sage] 2022/10/15(土) 10:11:19.74 ID:/BlEbfcm ある人の感想が別の人の感想と同じになる保証はどこにもない 保証がなくても特に問題ないと判明したならそれでいい http://mevius.5ch.net/test/read.cgi/tech/1639713446/141
142: デフォルトの名無しさん [sage] 2022/10/15(土) 10:19:45.48 ID:+yYiQ+MP 一番嫌なのはネットに転がってるすごいスッキリしたプログラムがあって「おお、すげぇ」と思っても結局それはGHCのメモ化の恩恵でしかなくHaskell本来のそれではないので別の処理系では通用しないものであったりする事 事実上GHCが標準なのでGHCで早ければ「早いプログラムが書けない事はない」のではあるけど、じゃあGHCはどんな時は気をきかせてメモ化してくれるのか、どんな時はその事を利用して早い、しかし短い、わかりやすいプログラムを書けるのかはHaskell 2010 reportではなくGHCの方の仕様書を読むか、実験してみるかしかない、しかし前者はそもそもGHCの仕様書そのものどこにあるかわからないんだけど見つけてもおそらくメモ化の理論は相当に難しい論文レベルの話、さりとて実験で詰めていくのはデバッグと同じレベルのかなり苦痛な作業で、しかも完成したものは大概速さのために可読性をかなり犠牲にしないといけないものになる、当然可搬性も落ちてる GHCがやってくれてる事全てでなくてもいいけどネットによく転がってるフィボナッチ数列とか素数生成とかのGHCの良きに計らってくれる機能を利用したスッキリした、けど早いプログラムくらいまでは標準化して全ての処理系で動くようにしてほしいけどね http://mevius.5ch.net/test/read.cgi/tech/1639713446/142
143: デフォルトの名無しさん [sage] 2022/10/15(土) 11:46:05.26 ID:fUoifk8c まあ実際のところメモ化を考え出したら Lispと同じように可読性を犠牲にした速度重視のコードしか生まれないので・・ メモ化は考えないのが筋だけどそうすると実用性は皆無であってつまり http://mevius.5ch.net/test/read.cgi/tech/1639713446/143
144: デフォルトの名無しさん [sage] 2022/10/15(土) 15:59:55.52 ID:/BlEbfcm LispとHaskellの違いで重要なのは モジュールの定義をインタラクティブにやらないこと ghci起動時に全てのモジュールが定義され最後に mainや他の式を評価・実行するところだけがインタラクティブ そもそもmodule Main whereとかいうのは式ではない 式ではないから評価順序という考え方がそこでは通用しない http://mevius.5ch.net/test/read.cgi/tech/1639713446/144
145: デフォルトの名無しさん [sage] 2022/11/03(木) 00:12:52.63 ID:A4mGU1Ql GHCがデファクトだしこだわりがなければ他のコンパイラを使うこともないでしょ とはいえ関数型言語って速度を重視するタスクには向かないでしょ 速さを求めるのが間違い http://mevius.5ch.net/test/read.cgi/tech/1639713446/145
146: デフォルトの名無しさん [sage] 2022/11/03(木) 01:14:31.73 ID:+2fbLBnA Symbolicsが失敗した事例を思い出す あれも理想を追求したはいいけど何をやってもひたすら遅く 他社はそれより早く安い機材を次々と繰り出していた 当然惨敗は必然だった http://mevius.5ch.net/test/read.cgi/tech/1639713446/146
147: デフォルトの名無しさん [sage] 2022/11/03(木) 06:02:33.84 ID:A4mGU1Ql 静的な型付けによる頑健性だとrustがあるしなぁ http://mevius.5ch.net/test/read.cgi/tech/1639713446/147
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 520 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s