関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
52: デフォルトの名無しさん [] 2022/01/16(日) 18:54:16.95 ID:f2QwXzzi >>51 square x = x * x を square x = seq x $ x * x にして明治的に“xを評価してからx*xを計算せよ”に変えるともちろん*ひとつです それは納得いきます ウォークスルーHaskellにもそうなると書いてあるしHaskell Language Report 2010にもseqで正格評価になると書いてあります なのでコレは納得いくんですがseqなしの場合の動作が文書と異なるように見えます もちろん参照透過性があるので一度計算した結果をメモ化して再利用しても同じ答えにならないといけないので答え自体は同じになるわけですけど コレはたまたまGHCの開発者が優秀でHaskellの標準動作としては保証されない事までやってくれてるだけなのか、標準動作としてメモ化しないといけないことになってるのかどっちだろうと 今のところ今自分が勉強してるプログラムにはseq入れて明治的に正格評価してもらってるんですけど標準でメモ化してくれるなら消せるしスッキリするし、あるいは明示しないと他の処理系だとしてくれないなら残しとかないといけないし http://mevius.5ch.net/test/read.cgi/tech/1639713446/52
81: デフォルトの名無しさん [sage] 2022/02/13(日) 02:50:13.95 ID:gJE3VDE6 GHC方言とかの知識が豊富な奴ってどちらかといえば反抗的な性格だと思う それなのに、オリジナルの仕様への忠誠心が高ければ高いほど有能みたいな誤解がある その上更にいかにも忠誠心なさそうなキャラまで作られてるし http://mevius.5ch.net/test/read.cgi/tech/1639713446/81
324: デフォルトの名無しさん [] 2024/08/12(月) 21:44:35.95 ID:EAbaqMlq Preludeのライブラリドキュメントのページが最新のChromeでよく応答なしになるんですが！ 現代PCでもプチフリを起こすページとか凄いですね！（怒） http://mevius.5ch.net/test/read.cgi/tech/1639713446/324
345: デフォルトの名無しさん [] 2024/09/03(火) 18:48:39.95 ID:yXFMfbtr もしかしてData.Mapって遅い？ 一日中検索かけてるような処理なら、もうMapを卒業するべきときか・・・ http://mevius.5ch.net/test/read.cgi/tech/1639713446/345
350: デフォルトの名無しさん [] 2024/09/04(水) 22:22:04.95 ID:r/FGXedG >>348 遅延評価だからってのも地味に大きい。 自分はプログラミング言語「数学」の（未完全な）実装として見てるので、遅延評価じゃないと困るが。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/350
427: デフォルトの名無しさん [] 2024/10/02(水) 22:51:00.95 ID:OPLMo7z3 定義が何もないのに何も言えるわけないじゃん。 数学でこういうものを定義します、これをプログラムのこれこれと対応付けます。 てプロセスないじゃん。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/427
528: デフォルトの名無しさん [sage] 2024/10/05(土) 20:22:21.95 ID:J2mQEu2j >>527 面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします http://mevius.5ch.net/test/read.cgi/tech/1639713446/528
577: デフォルトの名無しさん [] 2024/10/29(火) 23:25:09.95 ID:6SLkDv7J 世界は頭悪すぎてHaskellを使いこなせていない 世界はもっと危機感を持った方が良い http://mevius.5ch.net/test/read.cgi/tech/1639713446/577
641: デフォルトの名無しさん [sage] 2025/01/10(金) 18:59:59.95 ID:X+hiLHcK 補足： Haskellコンパイルは少なくとも次の二つの段階を持つ １．アクションの生成（入出力指示書の生成、Haskellコードの字面のコンパイル） ２．アクションの実行 １．のアクションの生成時に参照透明性がHaskellコードとして保証されている。 アクションの生成で必要な参照行為は全て終わっているので、２．では入出力だろうが破壊的操作だろうがやっても文句を言われない。 IOの機構がすごいのは１．アクションの生成計算で参照透明性が保証されているというところがうれしいところ、だという話。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/641
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s