関数型プログラミング言語Haskell Part34

警備員[Lv.7][新芽] · 2025/01/10(金) 19:39:05.74

>>640-641
レスをありがとうございます

そうですね
表現がいけませんでしたが、そのように理解しています

あとひとつ伺いたいのが(アドバイスいただいたことがまだちゃんと理解できたわけではないのでアレですが)、
参照透明性が担保されているとは、(1.アクションを生成する時点までは)副作用がある処理は書くことができない、ということでしょうか

警備員[Lv.7][新芽] · 2025/01/10(金) 19:48:40.81

>>643 ですが、
このレスはちょっと意味が分かりませんね
実行前なので副作用は怒りようがありませんね

**デフォルトの名無しさん** · 2025/01/10(金) 20:01:13.00

>>643-644
そのように理解しています。って本当に理解してるか？

アクションの生成において生成しているのは入出力の指示書みたいなもので入出力自体はない。
こういう入力があったらこういう計算方法でこういう出力をするみたいな手順を生成しているだけ。

なんで参照透明性が担保されているというところでそんな引っかかるんだ？

警備員[Lv.7][新芽] · 2025/01/10(金) 20:34:59.37

>>643 で確認したかったことは次のようなことでした

アクションを生成する段までは副作用なく、同一のプログラムを入力とすれば、かならず同一のアクションが出力されるか
ということでした

それはそうであるように思います

**デフォルトの名無しさん** · 2025/01/10(金) 20:42:16.47

同一のプログラムを入力とすればってどういう意味？
前も言ったようにアクションの生成とアクションの実行は別フェーズ。同一のアクションが出力される、というのはどっちのフェーズでのことを言ってんの？

警備員[Lv.8][新芽] · 2025/01/10(金) 21:16:13.66

アクションが出力される、なので 1.です

**デフォルトの名無しさん** · 2025/01/10(金) 21:34:10.26

なんか理解しているのかすごい怪しいなぁ。

一応回答しておくと、アクションの生成のフェーズなら参照透明性を保証された純粋関数の計算でしかないから
main文が同じなら当然同じアクションが生成される。
同じプログラムなら生成されるものも同じという意味で。

理解してたらこんな話出てこないと思うんだけど。

警備員[Lv.1][新芽] · 2025/01/10(金) 22:49:49.12

>>649
重ね重ね、ありがとうございます

理解できているかいなかについては、理解が浅いため、確認のために伺わせていただいています

伝わりづらくて申し訳ありませんでしたが、>>649の内容のような理解で正しいかを確認したかったというのが趣旨でした
簡潔に表現していただいて助かりました

**デフォルトの名無しさん** · 2025/01/13(月) 17:46:46.07

あけなしておめでとうございます
去年は多様性がようやく否定され始めた年ですが、
今年はhaskellの純粋主義のやうに分類・隔離・排除躍進の年となるようがんばりましょう

**デフォルトの名無しさん** · 2025/01/15(水) 00:44:26.65

マクロな現象には個々人のばらつきを否定する力はない
逆に個人は10回連続でグーを出してみてもたとえば「正規分布に従う」とかなんとかいう法則を反証できない

ミクロとマクロを隔離したのはただの統計学であって純粋でも主義でもない

**デフォルトの名無しさん** · 2025/01/15(水) 05:29:17.90

誰もいまミクロ・マクロの話なんてしてないぞ

**デフォルトの名無しさん** · 2025/01/21(火) 22:22:46.92

雪田の英語版買って読んだ勇者はおらんか？

**デフォルトの名無しさん** · 2025/01/22(水) 01:14:29.67

3万も出してよもうとは思わない。

目次読むとKleisli tripleの節はあるのにKleisli categoryの節がなかったり、なぜかその後にMoggi's theoryが出てきたりと
少なくとも構成があんまりいい感じはしない。

**デフォルトの名無しさん** · 2025/01/22(水) 03:57:21.12

まぁ圏論はHaskellやるうえで無駄だしな

**デフォルトの名無しさん** · 2025/01/23(木) 21:00:49.82

しかもHaskell自体やるだけ無駄だしな

**デフォルトの名無しさん** · 2025/02/13(木) 07:10:20.44

wikiでghc見たら、中の人MSリサーチにいるのな。
最近C#並みに速くなったと思ったら、そういう事か。
納得。

**デフォルトの名無しさん** · 2025/02/13(木) 13:53:19.78

暗記系の問題が嫌われるのは答えを隠す意味がないからだが
逆に陰謀論が大人気なのは、隠蔽する動機があるからかもしれない

**デフォルトの名無しさん** · 2025/02/13(木) 19:59:58.08

>>659
誤爆か？
次から気をつけな

**デフォルトの名無しさん** · 2025/02/13(木) 21:57:13.74

わざとだろ。
数板に延々スレ違を書き込む基地外がいるが多分そいつと同一。

**デフォルトの名無しさん** · 2025/02/13(木) 22:11:56.50

ワードサラダくん数学板にもいるんか
まあいそうな板だな

**デフォルトの名無しさん** · 2025/02/13(木) 23:39:39.86

有意味な事実と有意味なデマを隔離するのは難しいらしい
だが、真でも偽でもないナンセンスはなぜか瞬時に判断できる

**デフォルトの名無しさん** · 2025/03/19(水) 11:03:50.18

IntSetのsizeがO(1)じゃなくO(n)なのはなぜですか、O(1)で実装できそうなもんですが

**デフォルトの名無しさん** · 2025/03/19(水) 19:45:13.59

unionとかで重複要素数えるのが面倒だから必要になるまで数えない

**デフォルトの名無しさん** · 2025/03/19(水) 20:51:01.02

私は最強ーーすき

**デフォルトの名無しさん** · 2025/03/19(水) 20:52:16.86

誤爆ｽﾏｿ。懐メロチャンネルと間違えた