関数型プログラミング言語Haskell Part34 (667ﾚｽ)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
1: デフォルトの名無しさん [] 2021/12/17(金) 12:57:26.37 ID:NPioGyUL 関数型プログラミング言語 Haskell について語るスレです。 Haskell Language(公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ - Haskell-jp https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part33 https://mevius.5ch.net/test/read.cgi/tech/1581326256/ http://mevius.5ch.net/test/read.cgi/tech/1639713446/1
638: 警備員[Lv.5][新芽] [sage] 2025/01/10(金) 09:27:26.71 ID:N8eMPB8m >>637 レスをありがとうございます 参照透過性の保証、ですね アクションを実行し、副作用が起こる前なので当然だ、という解釈は誤っているでしょうか まだ本の上の字面を追って学んでいるだけで圧倒的にコーティング量が足りない状態なので、これから経験を積むうちにいつかスッと腑に落ちるときがくるのかもしれません http://mevius.5ch.net/test/read.cgi/tech/1639713446/638
639: デフォルトの名無しさん [sage] 2025/01/10(金) 10:01:16.98 ID:xLB3XHZu 必要呼び評価戦略を採用するための前提として、すべての式の参照透過性が要求されるというだけでは http://mevius.5ch.net/test/read.cgi/tech/1639713446/639
640: デフォルトの名無しさん [sage] 2025/01/10(金) 18:54:00.90 ID:X+hiLHcK >>638 >アクションを実行し、副作用が起こる前なので当然だ、という解釈は誤っているでしょうか ？なんか混乱しているんじゃないか。 アクションの生成時点でのHaskellコードの参照透明性と、オブジェクトコード実行の際の参照の処理は別物だぞ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/640
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
642: デフォルトの名無しさん [sage] 2025/01/10(金) 19:16:07.13 ID:NIbIyPdh 一度死んだら復活は有り得んので注意な http://mevius.5ch.net/test/read.cgi/tech/1639713446/642
643: 警備員[Lv.7][新芽] [sage] 2025/01/10(金) 19:39:05.74 ID:N8eMPB8m >>640-641 レスをありがとうございます そうですね 表現がいけませんでしたが、そのように理解しています あとひとつ伺いたいのが(アドバイスいただいたことがまだちゃんと理解できたわけではないのでアレですが)、 参照透明性が担保されているとは、(1.アクションを生成する時点までは)副作用がある処理は書くことができない、ということでしょうか http://mevius.5ch.net/test/read.cgi/tech/1639713446/643
644: 警備員[Lv.7][新芽] [sage] 2025/01/10(金) 19:48:40.81 ID:N8eMPB8m >>643 ですが、 このレスはちょっと意味が分かりませんね 実行前なので副作用は怒りようがありませんね http://mevius.5ch.net/test/read.cgi/tech/1639713446/644
645: デフォルトの名無しさん [sage] 2025/01/10(金) 20:01:13.00 ID:X+hiLHcK >>643-644 そのように理解しています。って本当に理解してるか？ アクションの生成において生成しているのは入出力の指示書みたいなもので入出力自体はない。 こういう入力があったらこういう計算方法でこういう出力をするみたいな手順を生成しているだけ。 なんで参照透明性が担保されているというところでそんな引っかかるんだ？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/645
646: 警備員[Lv.7][新芽] [sage] 2025/01/10(金) 20:34:59.37 ID:0gelnbg2 >>643 で確認したかったことは次のようなことでした アクションを生成する段までは副作用なく、同一のプログラムを入力とすれば、かならず同一のアクションが出力されるか ということでした それはそうであるように思います http://mevius.5ch.net/test/read.cgi/tech/1639713446/646
647: デフォルトの名無しさん [sage] 2025/01/10(金) 20:42:16.47 ID:X+hiLHcK 同一のプログラムを入力とすればってどういう意味？ 前も言ったようにアクションの生成とアクションの実行は別フェーズ。同一のアクションが出力される、というのはどっちのフェーズでのことを言ってんの？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/647
648: 警備員[Lv.8][新芽] [sage] 2025/01/10(金) 21:16:13.66 ID:0gelnbg2 アクションが出力される、なので 1.です http://mevius.5ch.net/test/read.cgi/tech/1639713446/648
649: デフォルトの名無しさん [sage] 2025/01/10(金) 21:34:10.26 ID:X+hiLHcK なんか理解しているのかすごい怪しいなぁ。 一応回答しておくと、アクションの生成のフェーズなら参照透明性を保証された純粋関数の計算でしかないから main文が同じなら当然同じアクションが生成される。 同じプログラムなら生成されるものも同じという意味で。 理解してたらこんな話出てこないと思うんだけど。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/649
650: 警備員[Lv.1][新芽] [sage] 2025/01/10(金) 22:49:49.12 ID:/2hXYNXu >>649 重ね重ね、ありがとうございます 理解できているかいなかについては、理解が浅いため、確認のために伺わせていただいています 伝わりづらくて申し訳ありませんでしたが、>>649の内容のような理解で正しいかを確認したかったというのが趣旨でした 簡潔に表現していただいて助かりました http://mevius.5ch.net/test/read.cgi/tech/1639713446/650
651: デフォルトの名無しさん [sage] 2025/01/13(月) 17:46:46.07 ID:uTEEqnKb あけなしておめでとうございます 去年は多様性がようやく否定され始めた年ですが、 今年はhaskellの純粋主義のやうに分類・隔離・排除躍進の年となるようがんばりましょう http://mevius.5ch.net/test/read.cgi/tech/1639713446/651
652: デフォルトの名無しさん [sage] 2025/01/15(水) 00:44:26.65 ID:O9bWSOqU マクロな現象には個々人のばらつきを否定する力はない 逆に個人は10回連続でグーを出してみてもたとえば「正規分布に従う」とかなんとかいう法則を反証できない ミクロとマクロを隔離したのはただの統計学であって純粋でも主義でもない http://mevius.5ch.net/test/read.cgi/tech/1639713446/652
653: デフォルトの名無しさん [sage] 2025/01/15(水) 05:29:17.90 ID:QElBeHY8 誰もいまミクロ・マクロの話なんてしてないぞ http://mevius.5ch.net/test/read.cgi/tech/1639713446/653
654: デフォルトの名無しさん [sage] 2025/01/21(火) 22:22:46.92 ID:QQz8h7YM 雪田の英語版買って読んだ勇者はおらんか？ http://mevius.5ch.net/test/read.cgi/tech/1639713446/654
655: デフォルトの名無しさん [sage] 2025/01/22(水) 01:14:29.67 ID:SDQT/604 3万も出してよもうとは思わない。 目次読むとKleisli tripleの節はあるのにKleisli categoryの節がなかったり、なぜかその後にMoggi's theoryが出てきたりと 少なくとも構成があんまりいい感じはしない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/655
656: デフォルトの名無しさん [sage] 2025/01/22(水) 03:57:21.12 ID:ydcqGqD9 まぁ圏論はHaskellやるうえで無駄だしな http://mevius.5ch.net/test/read.cgi/tech/1639713446/656
657: デフォルトの名無しさん [] 2025/01/23(木) 21:00:49.82 ID:j8NlocC3 しかもHaskell自体やるだけ無駄だしな http://mevius.5ch.net/test/read.cgi/tech/1639713446/657
658: デフォルトの名無しさん [] 2025/02/13(木) 07:10:20.44 ID:NHs8kkcw wikiでghc見たら、中の人MSリサーチにいるのな。 最近C#並みに速くなったと思ったら、そういう事か。 納得。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/658
659: デフォルトの名無しさん [sage] 2025/02/13(木) 13:53:19.78 ID:LmH89MFs 暗記系の問題が嫌われるのは答えを隠す意味がないからだが 逆に陰謀論が大人気なのは、隠蔽する動機があるからかもしれない http://mevius.5ch.net/test/read.cgi/tech/1639713446/659
660: デフォルトの名無しさん [sage] 2025/02/13(木) 19:59:58.08 ID:8vmF21CT >>659 誤爆か？ 次から気をつけな http://mevius.5ch.net/test/read.cgi/tech/1639713446/660
661: デフォルトの名無しさん [sage] 2025/02/13(木) 21:57:13.74 ID:FvaixK+o わざとだろ。 数板に延々スレ違を書き込む基地外がいるが多分そいつと同一。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/661
662: デフォルトの名無しさん [sage] 2025/02/13(木) 22:11:56.50 ID:LxUFvhMj ワードサラダくん数学板にもいるんか まあいそうな板だな http://mevius.5ch.net/test/read.cgi/tech/1639713446/662
663: デフォルトの名無しさん [sage] 2025/02/13(木) 23:39:39.86 ID:LmH89MFs 有意味な事実と有意味なデマを隔離するのは難しいらしい だが、真でも偽でもないナンセンスはなぜか瞬時に判断できる http://mevius.5ch.net/test/read.cgi/tech/1639713446/663
664: デフォルトの名無しさん [sage] 2025/03/19(水) 11:03:50.18 ID:JUfTLTVZ IntSetのsizeがO(1)じゃなくO(n)なのはなぜですか、O(1)で実装できそうなもんですが http://mevius.5ch.net/test/read.cgi/tech/1639713446/664
665: デフォルトの名無しさん [sage] 2025/03/19(水) 19:45:13.59 ID:4qyoYSYb unionとかで重複要素数えるのが面倒だから必要になるまで数えない http://mevius.5ch.net/test/read.cgi/tech/1639713446/665
666: デフォルトの名無しさん [] 2025/03/19(水) 20:51:01.02 ID:S6mpqhEQ 私は最強ーーすき http://mevius.5ch.net/test/read.cgi/tech/1639713446/666
667: デフォルトの名無しさん [] 2025/03/19(水) 20:52:16.86 ID:S6mpqhEQ 誤爆ｽﾏｿ。懐メロチャンネルと間違えた http://mevius.5ch.net/test/read.cgi/tech/1639713446/667
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s