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

**デフォルトの名無しさん** · 2021/12/17(金) 12:57:26.37

関数型プログラミング言語 Haskell について語るスレです。

Haskell Language(公式サイト)
https://www.haskell.org/
日本Haskellユーザーグループ - Haskell-jp
https://haskell.jp/

前スレ
関数型プログラミング言語Haskell Part33
https://mevius.5ch.net/test/read.cgi/tech/1581326256/

**デフォルトの名無しさん** · 2024/10/04(金) 05:52:21.21

>>460
ようするに副作用はないってことじゃん

**デフォルトの名無しさん** · 2024/10/04(金) 05:57:16.46

>>461
Javaは変数をクラスの外で作れないから、グローバル変数は存在しない。
けど、事実上のグローバル変数は作れてしまう。

ってのと、同じ。
アクションの中に副作用があろうが、マシン語を返していると解釈しようが、事実として副作用はある。
ただ、重要なのは副作用を伴っても参照透明性が保たれているってこと。

**デフォルトの名無しさん** · 2024/10/04(金) 06:07:02.79

副作用が隔離できていることが大切
スレの基地外の隔離スレのように

**デフォルトの名無しさん** · 2024/10/04(金) 06:24:04.70

>>462
それは例えばwhileプログラムから副作用のない言語に変換したあとの形式と同じ状態にすでになってるってことで、計算のルール上はもう副作用はないでしょ

**デフォルトの名無しさん** · 2024/10/04(金) 07:22:19.19

>>464
そうなんだけど、結局普通のプログラミング言語を使ってる人にしてみれば屁理屈でしかない。
見た目そのままで伝えるなら、純粋関数型言語の定義のまんま、「副作用を伴っても参照透明性が保たれている」でいい。

**デフォルトの名無しさん** · 2024/10/04(金) 07:38:19.23

>>465
まあそのほうがいいか
上の方にいた彼はなんか脳内にこだわりがあって、普通の型付きラムダ計算以上のことをやってると思ってるフシがあったね

**デフォルトの名無しさん** · 2024/10/04(金) 07:48:51.79

>>466
そうそう。
副作用は無い！って、こっちが必死になって弁を述べれば述べるほど、屁理屈感が出てくる。

それよりは副作用を認めて、「副作用を分離」「副作用を伴っても参照透明性が保たれている」って言った方が、納得感がある。

**デフォルトの名無しさん** · 2024/10/04(金) 19:23:08.02

とりあえず続きを書いてみる。
Haskellでいうところの
純粋関数は、valueからvalueへの数学的関数
入出力プログラムは、valueから（入出力）computationへの対応
に割り当てることで、数学上にプログラミング行為を写し出せそうだ、というところまで書いた。

ただ、やっぱり（入出力）computationって何？とか、valueと形式的にどう違うの？という疑問は拭い去ることができない。
そこでMoggiは、次のようなアイディアを２つ出して（結構ムリヤリに）疑問を解決した。

ただし、ここで入出力プログラム prog は A型の引数を取って（computationの整理をする前は）B型の返り値を返すとする。

**デフォルトの名無しさん** · 2024/10/04(金) 19:23:42.06

Moggiのアイディア１
・返り値の型がBのcomputationは、何か型構築子をIOとすると、その型構築子を適用した型 IO B のvalueに対応する。
※Moggiの原理ともいう。

つまり、上で挙げた入出力プログラム prog の型は、具体的に A → IO B になると言っている。
IO B 型の実装で、入出力の予約だか、値のリストだか指示書だか表現はいろいろあるが、そういう機構を実装すれば、
prog :: A → IO B
は参照透過性を保ったまま入出力を行うプログラムになる。

もっと広がりが出そうなcomputation概念なのに、急に狭窄な感じがするアイディアだけれど、
実装と折り合いをつけるという観点からすると仕方ないともいえる。
なお、代数的効果のPlotkinとPowerが批判しているのはこのMoggiのアイディア１である感じがする（あんまわかってない）。

**デフォルトの名無しさん** · 2024/10/04(金) 19:24:13.18

Moggiのアイディア２
・入出力プログラム（に対応する数学的概念）は、圏をなすはずだ。

Moggiのアイディア１の段階でもprog :: A → IO Bは参照透過性を保ったまま入出力を行うプログラムになるはずだが、
入出力プログラム同士の合成が考えられていない。入出力プログラム prog1、prog2と開発したら、できるだけ再利用するというのが
現実のプログラミングだと思う。わざわざprog1とprog2の合成として定義できそうなプログラムを得るために、イチイチいちから
開発するということを理論的に要請されるというのは不合理。

純粋関数は、λ式に割り当てられることになって、当然、圏をなすだろうに、
プログラムに割り当てられるものが圏を成さないというのはおかしい。

でも、入出力プログラムはMoggiのアイディア１から、
prog :: A → IO B
という特殊な返り値の型を持っているため単純な合成ができない。

**デフォルトの名無しさん** · 2024/10/04(金) 19:29:03.13

Moggiのアイディア１の段階でcomputationの概念というのは解消してしまう。
PlotokinとPowerはそこが不満なんだろうか？

**デフォルトの名無しさん** · 2024/10/04(金) 20:18:31.78

だから、副作用を隠してラムダ計算に変換する手続きは、世界をステートにする変換をした時点で達成されてるわけで、そんなの太古の昔から分かってたことだろ
IO aの定義読んでから出直せよ

**デフォルトの名無しさん** · 2024/10/04(金) 20:30:15.44

日を跨ぐつもりならコテハンでも付けてくれんか
追えん

**デフォルトの名無しさん** · 2024/10/04(金) 20:44:30.01

>>472
だからそれはわかっているって。評価途中では実際の入出力はせず指示書だか値のリストだけ作成して
参照透過性を保証して、参照透過性が要求されなくなったプログラムの最終段階でリストに従って
入出力を実行するような仕組みがあれば、参照透過性を保ったまま入出力はできるという話でしょ。
それを数学的にどう正当化するかという話を書いているんだって。

>>473
水曜日あたりからだからそんな分量ないよ。

**デフォルトの名無しさん** · 2024/10/04(金) 20:49:17.68

>>474
どこが正当化されてないのか意味不明なんだけど
ていうか正当化って何？

**デフォルトの名無しさん** · 2024/10/04(金) 20:51:48.70

だから、入出力がある数学的関数なんてないじゃん。
入出力があるプログラムを数学的に表現しようと思っても詰むからどうしようって話。

**デフォルトの名無しさん** · 2024/10/04(金) 20:57:28.69

こんなところで長文書くのはやめてもろて
読む価値があるものならzennとかnoteに書けば？
関数型言語界隈の人たちがクソミソにレビューしてくれるよ

**デフォルトの名無しさん** · 2024/10/04(金) 20:58:08.93

>>476
型付きラムダ計算の時点で数学的に表現されてるだろ…
意味不明すぎる

**デフォルトの名無しさん** · 2024/10/04(金) 21:00:48.64

メインの入力とメインの出力は数学にもある
主じゃないやつを副作用といってる

**デフォルトの名無しさん** · 2024/10/04(金) 21:11:30.04

>>478
なるほどそう考えていたのか。全部λ計算でアセンブルすりゃ数学的に還元できるだろうってわけね。
でもそうだとすると文字列を表示するハードウェアの部分はどう還元するの？

>>479
よくわかんない。具体的に言うとどういうのある？

**デフォルトの名無しさん** · 2024/10/04(金) 21:11:31.21

>>478
なるほどそう考えていたのか。全部λ計算でアセンブルすりゃ数学的に還元できるだろうってわけね。
でもそうだとすると文字列を表示するハードウェアの部分はどう還元するの？

>>479
よくわかんない。具体的に言うとどういうのある？

**デフォルトの名無しさん** · 2024/10/04(金) 21:18:24.66

>>480
アセンブルって何？
後半も何言ってるのかちゃんと分かるように書いて

**デフォルトの名無しさん** · 2024/10/04(金) 21:25:06.50

そうだよ、こんなとこじゃなくてzennとかに煽った感じのタイトルつけて炎上する記事書いてコメントもらって来いよ

**デフォルトの名無しさん** · 2024/10/04(金) 21:28:05.10

λ計算を機械語とかアセンブラと見立てて、λ計算ですべて数学世界を組み立てれば、
入出力がある数学的関数も定義できるだろうから、あえて数学的正当性なんて与えようとする
理由がわからない、ということだろうと思った。

プログラムの部分は全てλ計算で組み立てれば完全に同じものが作れると思っているということ
だけれども、じゃあ文字列をディスプレイに表示するというプログラムの構成要素である
ディスプレイはハードウェア部分だけれども、それはλ計算で組み立てるという範疇にはいるんですか？
入らないなら、なにか数学的概念を持ち出してきてそれに対応付けるということをしないといけないんじゃ
ないですか？
という趣旨のことを書いた。

**デフォルトの名無しさん** · 2024/10/04(金) 21:33:15.17

これ読んだらわかるけどMoggi論文の読書感想文。いまさらの。
匿名以外でいまさら突っ込んでくるわけないじゃん。

**デフォルトの名無しさん** · 2024/10/04(金) 21:33:16.29

これ読んだらわかるけどMoggi論文の読書感想文。いまさらの。
匿名以外でいまさら突っ込んでくるわけないじゃん。

**デフォルトの名無しさん** · 2024/10/04(金) 21:34:24.07

関数の「型」を見ろ
入力が何で出力が何かが宣言されている

**デフォルトの名無しさん** · 2024/10/04(金) 21:39:26.17

>>484
ディスプレイに表示するまでの概念はよく考えたら既存の例でもなかったわ。
焦って変なこといったスマン。
ちょっと説明を考える。

**デフォルトの名無しさん** · 2024/10/04(金) 21:39:59.29

>>484
意味不明すぎる
ラムダ計算は数学的に正当化されてるだろ
例えば合流性があるとか数学的に証明されてる
これのどこに非数学的要素があるんだって言ってるんだよ
すでに数学的な説明がされてるものに対して、数学的に正当化されてないとか言うのやめろよ

**デフォルトの名無しさん** · 2024/10/04(金) 21:48:55.49

λ計算が数学的に正当化されてないというような話はしてなくて、
現実のプログラムをλ計算に反映させようと思っても入出力とか非決定計算の部分は表現しきれない
そのλ計算からはみ出す部分をどう正当化させようかという話。

**デフォルトの名無しさん** · 2024/10/04(金) 21:52:13.21

>>490
じゃあHaskellは純粋にただの型付きラムダ計算なんだから、数学的に正当化されてない部分などない
おしまい

**デフォルトの名無しさん** · 2024/10/04(金) 22:03:12.33

>>491
うーん。例えば、数学は集合論上で展開されているから、集合論があればその上で展開される
解析学とか、線形代数学とかいらない、みたいな論法じゃない？
この現象は、解析学でモデル化できるけれども、解析学は集合論上で展開できるから、
そんなモデル化はいらなくていちいち集合論の言葉で書けばいいじゃん的な。
みんなそこに興味あるわけじゃないと思いますよ。

**デフォルトの名無しさん** · 2024/10/04(金) 22:08:30.14

>>484
横からというか >460 書いた者だけど、あなたの疑問は解釈1の「アクションを受け取ってアクションを返す関数」だとざっくりし過ぎて納得いかないって感じでしょうか？

でしたら、解釈2では納得出来ませんでしょうか？
解釈２は、モナドの効能の一つに追加して「数学の世界にアウトソーシングという概念を持ち込む」というものです。
モナドの例えとして、床下配線というのがありますが、MaybeやListの様な通常のモナドも、>>=の中に関数適用部分を押し込んで、表から見えないようにしています。
（これも、見ようによってはアウトソーシングです。同じ数学の世界なので、隣の席に頼んだ感じですが）

IOモナドは、>>=の中すら見えない状態で関数適用しているわけですが、 >460 でも書いたとおり、「数学の外（ハードウェア）」で関数適用されていると考えるわけです。

IOモナドの>>= は、外の世界と遣り取りする受付窓口というわけですね。
（実際、バッファの様な振る舞いをします）

main = do x <- return 0
_________x <- return (x + 1)
_________print x

**デフォルトの名無しさん** · 2024/10/04(金) 22:14:36.08

>>492
ラムダ計算も集合論上で展開されてるだろ
だから、Haskellも集合論の言葉で書かれてるじゃん
そんな誰もが分かってるけど、いちいち書いても何の得もないことを話したかったの？

**デフォルトの名無しさん** · 2024/10/04(金) 22:16:42.74

この場合、IOモナドを使って変数ｘを書き換えているのではなく、シャドーイングによって同じｘという名前の変数を新しく作って、古い x に +1 した値を束縛しています。

**デフォルトの名無しさん** · 2024/10/04(金) 22:21:54.69

>>493
ごめんなさい。全然違う。入出力を題材にしているのはあくまで例で別に疑問はないです（実装をちゃんと知っているわけではないですが）。
モナドを導入する動機はMoggi論文読んだ読書感想文なので途中まで書いてますが、圏をなすかどうかです。

**デフォルトの名無しさん** · 2024/10/04(金) 22:27:08.92

無理やりハードウェアも数学と言い張るなら、ハードウェアもチューリングマシンという計算モデルなので数学が元と言えなくはない？

そういうこじつけは置いておいても、IOモナドをアウトソーシングと考えると、じゃあ外の世界はめちゃくちゃか？と考えて、そうではないと気付く。
ハードウェアも一定の秩序がある。
数学だけが全てではないのかもしれない。
何かしらの秩序というか、法則性を持った世界（数学、数学以外含む）どうしのやり取りにモナドが橋渡しとして働いているのでは？とか、考えたりする。

**デフォルトの名無しさん** · 2024/10/04(金) 22:28:17.05

>>494
モナドの原論文（Moggiの論文）の読書感想文を入出力の計算効果を題材に解説してみているんだって。
ブログに書いても今更突っ込むなんて恥ずかしいことができる人はいるわけないので、ここに書いている。

**デフォルトの名無しさん** · 2024/10/04(金) 22:32:08.56

>>498
その人はHaskellは数学的に正当化されてないけしからんって言ってたの？

**デフォルトの名無しさん** · 2024/10/04(金) 22:34:04.82

最低限、論文に書いてある正しいこととお前の妄想がはっきり区別できるように感想文を書けよ

**デフォルトの名無しさん** · 2024/10/04(金) 22:44:05.60

>>499
はっきりそうは言ってない。
プログラムをλ項に対応させて単純化させると、valueからvalueへの全域関数となるけれど、
そう考えると、非停止性とか非決定性、副作用といった現実のプログラムにある特徴が失われる（だからそれを何とかしようと読める）。

>>500
そんなことできるほど力量ないです。

**デフォルトの名無しさん** · 2024/10/04(金) 22:46:51.98

>>496
少なくともコマンド系のプログラムは圏をなしますね。
Haskellで作ると実感しますが、Haskellに限らず、

（ユーザーから見て）プログラムそのものが関数になります。
Linuxでコマンドをパイプライン処理するのは関数（射の）合成に相当しますし。
id相当のプログラムは作れますし。

・・・と考えると圏をなすと思うのですが。
（GUIプログラムもボタン単位とかで関数と言えますが、合成は…押した順序？）

例えば

{(x,2x+1) | x ∈ R} と 2x+1のグラフは同型だと直感的に分かりますが、その関数（射）は数式で表せません。

圏論では、可換図を受け取って可換図を返すとか出てきますので、{(x,2x+1) | x ∈ R} と 2x+1のグラフを結ぶ関数（射）が人間って言うのも有かな？とか、考えます。
（圏論では同型と分かれば（証明できれば）よくて、射の中身には言及しない）

**デフォルトの名無しさん** · 2024/10/04(金) 22:50:56.01

>>501
なんでラムダ項に対応させると全域関数になるわけ？ラムダ計算は停止しない計算も表現できるモデルでしょ
言ってることが意味不明なんだよ

**デフォルトの名無しさん** · 2024/10/04(金) 22:52:29.23

ただの圏じゃなくてクライスリ圏じゃないといけない（Moggiのアイディア１から）。
そして、クライスリ圏を定義するためにはクライスリ・トリプル（モナド）がいる

**デフォルトの名無しさん** · 2024/10/04(金) 22:52:30.15

ただの圏じゃなくてクライスリ圏じゃないといけない（Moggiのアイディア１から）。
そして、クライスリ圏を定義するためにはクライスリ・トリプル（モナド）がいる

**デフォルトの名無しさん** · 2024/10/04(金) 22:54:07.35

そもそもラムダ項は関数ではないし、集合ではあるということはできるけど、それは自然数1は集合であるみたいな話でそれに意義なんてないよ

**デフォルトの名無しさん** · 2024/10/04(金) 23:02:32.42

>>504
>398 じゃ答えにならない？

**デフォルトの名無しさん** · 2024/10/04(金) 23:02:43.19

流石にこれじゃ関数型界隈の人達にボコボコにされて終わるね
やめといた方がいい

**デフォルトの名無しさん** · 2024/10/04(金) 23:04:12.66

βη簡約するとλ項が別の簡約されたλ項になる。この対応関係を数学的関数とみなせると言ってると解釈してる。

**デフォルトの名無しさん** · 2024/10/04(金) 23:12:30.87

>>509
みなせるって何？
ようするにラムダ項は関数じゃないってことでしょ当たり前だけど

**デフォルトの名無しさん** · 2024/10/04(金) 23:14:09.18

全域関数となる理由はわからん。全域関数＝数学的関数ということを言いたいんだろうと思ってたけどそこから詰めてなかった。

**デフォルトの名無しさん** · 2024/10/04(金) 23:22:52.03

>>511
お前が言い出したんだろ

**デフォルトの名無しさん** · 2024/10/04(金) 23:30:08.11

これがワードサラダか

**デフォルトの名無しさん** · 2024/10/04(金) 23:41:03.02

すまんね。準備不足だったわ。詰めるところわかったし、
詰めるところ詰めることができたらひっそりどっかに書くことにするわ。
いろいろコメント参考になったわ。

**デフォルトの名無しさん** · 2024/10/05(土) 00:27:27.96

集合と写像の区別がついてないんだから、何を準備しようが時間の無駄

**デフォルトの名無しさん** · 2024/10/05(土) 07:57:53.70

ZFでは集合しか無いから。写像だろうが、自然数だろうが何でも集合。全てを集合で実装する世界。

**デフォルトの名無しさん** · 2024/10/05(土) 08:14:37.65

圏論は逆で、対象（集合で言う元）を恒等写像と同一視して全てを射（写像）として扱うね。

**デフォルトの名無しさん** · 2024/10/05(土) 08:53:09.61

対象Aに対しA=id_Aとする圏の定義は、射のクラスの上での全域的で無い結合的2項演算⚪︎を持つ代数系としての簡潔な定式化。この定義では圏には射しかなくて、対象とは恒等射の別名に過ぎない。
ただ、この圏の実装は入門者には分かり難い。

Aが圏Cの対象であることを古い文献はA in Ob(C)と書くことが多いけど、最近の文献はA in Cと書いてしまう。fが圏Cの射f:A --> Bなことはf in Hom_C(A,B)かf in Mor_C(A,B)。

**デフォルトの名無しさん** · 2024/10/05(土) 10:51:32.56

普通のλはどの順序で適用しても同じ計算結果になる（Church-Rosserの定理）けど
副作用を伴うλは適用順序が入れ替わると副作用の順序も変わって同じ結果とは言えなくなるから
順序を保証する仕組みとしてモナドが応用されてるはず

IO a >>= (a -> IO b) -> IO b
は(a -> IO b)が(IO a)を受け取れないから
(IO a)からaを取り出せるところまで計算しないと(a -> IO b)を適用できない

仮に
IO a -> (IO a -> IO b) -> IO b
みたいな形だと(IO a)の計算を保留したまま(IO a -> IO b)を適用できる

圏論はよく分からないけど
圏Aに便宜的な時間軸をつけたA_t0, A_t1, A_t2, …を用意して関手
A_t0 → A_t1, A_t1 → A_t2, …
を作るとA_t0, A_t1…は全部AのクローンだからA_t0 → A_t1, …は自己関手になって
その自己関手の集合がなんやかんやでモナドに相当するみたいなイメージ

**デフォルトの名無しさん** · 2024/10/05(土) 11:23:42.68

どうでもいいけど計算科学のside effect→副作用は誤訳だと思う
薬学のside effectは「随伴作用」（副作用）だけど計算科学のside effectは「側面作用」って感じ

**デフォルトの名無しさん** · 2024/10/05(土) 11:40:17.86

圏論のコンコルド効果について。

Haskellのコーティングの質をあげようと、
一生懸命頑張って勉強したのに実はほとんど役に立たない…
「大量の時間と労力を学習したのに悔しい！」
そのことを認めることができず、懸命に圏論のプログラミングでの有用性を力説し、学習布教に努める。

**デフォルトの名無しさん** · 2024/10/05(土) 13:16:57.88

>>519
異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ？

IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能

**デフォルトの名無しさん** · 2024/10/05(土) 13:51:21.32

数日程度で成果を出す戦略を採用したにもかかわらず何年も戦争が続く
こういうのは圏論に限定されない現象だ

順序を入れかえたら結果が変わる
数日後の情報が今ここに伝わるならそれは時間軸とは言えないぞ

**デフォルトの名無しさん** · 2024/10/05(土) 14:41:11.81

>>522
IO a >>= (a -> IO b) -> IO b
は
(IO a >>= (a -> IO b)) -> IO b
であって
IO a >>= ((a -> IO b) -> IO b)
にはならないよ
(>>=)は演算子

**デフォルトの名無しさん** · 2024/10/05(土) 15:10:26.09

圏論の話題出すなよ
Haskellで何か書くにあたって利益があるわけじゃないんだから

**デフォルトの名無しさん** · 2024/10/05(土) 15:30:46.49

利益は道徳よりも軽い
これも、未来予知ができなければ利益を計算できないことに原因がある

**デフォルトの名無しさん** · 2024/10/05(土) 17:25:54.13

>>521
役に立つなら、もっと色々入ってるかと…。

私はむしろHaskellより圏論そのものに興味の対象が移って、Haskellは圏論の概念を実際に動かしてみるための道具に成り下がってますね＾＾；

とはいえ、数学の知識不足なので群論やらトポロジーやらあっちこっち読み漁りながらなので、歩みは遅いですが…。

**デフォルトの名無しさん** · 2024/10/05(土) 20:22:21.95

>>527
面倒でも一般位相の基本、ホモロジーの初歩…と地道にやるのをおすすめします

**デフォルトの名無しさん** · 2024/10/05(土) 20:30:18.78

集合と写像の区別もついてないんだから、集合と位相からやらないとだめ

**デフォルトの名無しさん** · 2024/10/05(土) 22:07:16.25

>>528
ありがとうございます。
手探りだったので、助かります。
重点的に勉強してみます。
（高卒にどこまで理解できるか…）

>>529
一応、区別付いてるつもりなのですが…。
指摘していただければ調べてみます。

**デフォルトの名無しさん** · 2024/10/05(土) 22:16:56.83

>>530
あー上で暴れてた人とは別人だったのね
でも、集合と位相は何をやるにしても必要だから頑張ってね

**デフォルトの名無しさん** · 2024/10/05(土) 23:30:55.73

>>373=396=530 っぽいから言うと、(数学に関して)「分かった」「理解した」の自己基準が不安しかない

> ほら、分かってみれば「なーんだ。そんなことか」でしょ？
> なるほど、って感じ。
と自分に言い聞かせていても、ポピュラーサイエンス書感覚で読んだってダメ

他人との議論では、逆に「こいつ分かってないな」と思われるだけだからな

**デフォルトの名無しさん** · 2024/10/05(土) 23:50:06.63

>>532
独学ですしね＾＾；
こいつ分かってないなと思われても良いですよ？
それで指摘されたものも新しい知識になるので。

どうも定義を読むだけじゃイメージ湧かないので、ネット上や数学書の複数の例え話が全て真だと仮定して、共通の特徴からイメージを掴むパターンが多いんです。

**デフォルトの名無しさん** · 2024/10/06(日) 01:53:03.98

いま正常性バイアスを理解した
全て正常だと仮定する
なるほど

**デフォルトの名無しさん** · 2024/10/06(日) 10:54:18.58

本来Haskell使う上で必要のない数学の知識をかじらされるのかわいそう
こうやって無駄に間口狭めてなんの意味があるんだか

**デフォルトの名無しさん** · 2024/10/06(日) 11:09:45.81

>>530に関しては同情すんな
>>373前後で煽っておいて炎上勉強法してる

**デフォルトの名無しさん** · 2024/10/06(日) 12:50:07.74

>>535
だから、具体例をかじることなく一般圏論でやめておこうって言ってるじゃないか
バランスを考えて妥協するとはそういうことだ

**デフォルトの名無しさん** · 2024/10/06(日) 13:58:19.62

まず圏論が必要ないっての

**デフォルトの名無しさん** · 2024/10/06(日) 14:19:17.49

それは極論だがそれを許容する代わりに反対側の極論も許容してもらう
ダブルヘイターとは違うのだよ

**デフォルトの名無しさん** · 2024/10/07(月) 16:51:22.87

>>539
君頭悪いなら無理に書き込まないほうがいいよ

**デフォルトの名無しさん** · 2024/10/08(火) 16:34:43.77

圏論好きはHaskellよりCPLで幸せになれる

**デフォルトの名無しさん** · 2024/10/08(火) 19:19:24.66

>>529
集合と写像って違うんですか？写像って集合ではなかったですか？

**デフォルトの名無しさん** · 2024/10/08(火) 19:24:10.23

>>541
CPLとは？ｋｗｓｋ

**デフォルトの名無しさん** · 2024/10/08(火) 19:35:49.07

>>542
反対向きは成り立たないよ
彼はラムダ項みたいなただの集合も関数だとか言ってたんだよ

**デフォルトの名無しさん** · 2024/10/08(火) 20:00:43.25

>>544
なるほど。勉強になります。

**デフォルトの名無しさん** · 2024/10/08(火) 20:58:36.65

>>543
CPL (圏論プログラミング言語)
https://ja.m.wikipedia.org/wiki/CPL_(%E5%9C%8F%E8%AB%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E)

**デフォルトの名無しさん** · 2024/10/08(火) 21:59:10.54

CPL使ったことは一度もないが
関手圏よりもっとややこしい圏で、モナドより凡庸なものを定義するんでしょ

**デフォルトの名無しさん** · 2024/10/08(火) 23:08:48.38

こんなんだけど

>通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない.
>また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない.

**デフォルトの名無しさん** · 2024/10/09(水) 00:11:45.00

O'CAMLのCAMLはCategorical Abstract Machine Languageの略ということを忘れてはかわいそう。

**デフォルトの名無しさん** · 2024/10/09(水) 20:31:07.90

>>546
Thenks！！

**デフォルトの名無しさん** · 2024/10/12(土) 20:07:00.42

初心者はStack、ガチムチはCabalで開発するんですか？

**デフォルトの名無しさん** · 2024/10/15(火) 05:30:10.38

みんなStackだよ
Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし

**デフォルトの名無しさん** · 2024/10/15(火) 22:34:15.38

詳しい情報サンクス
CabalやめてStackに帰ります
GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします

**デフォルトの名無しさん** · 2024/10/16(水) 05:04:51.74

ああCabal辞めてStackに移行したらビルドし直しただけでTLSのハンドシェイクがTwitchでは大丈夫なのにツイキャスで失敗する謎の不具合が治りました
やっぱStackすわ

**デフォルトの名無しさん** · 2024/10/18(金) 18:33:56.50

別に不具合あったわけじゃないならよくね
みんなとか言い出したらそもそもみんなhaskellなんか使ってないが

**デフォルトの名無しさん** · 2024/10/25(金) 23:46:50.40

Haskellを学んだみたいと思うんだけど、「すごいHaskell たのしく学ぼう」って書籍は今でも有用？
Haskellの良書として挙げることは多いと思うけど、出版から10年以上経ってるのが気になった
その間で言語に大きな変更があったとか、「今のHaskellだったらこう書くよね」みたいな注意が必要な点などあれば知りたい
あるいは最近の書籍でよりおすすめというものでも

警備員[Lv.3][新芽] · 2024/10/25(金) 23:58:48.00

ちょっと古い情報だけど、
僕が「すごいH」を購入したのが2016.12だけど、数年後には章立ての変更まではなかったかもしれないけど、コードの記述など結構アップデートされてたような
いずれにしても、一冊でHaskellを、ってのはアレで、何冊かは読まないとと僕の場合

**デフォルトの名無しさん** · 2024/10/26(土) 01:14:59.65

>>556
ラムダノートのプログラミングHaskell第2版
これを読めばモナドの使い方がわかる

**デフォルトの名無しさん** · 2024/10/26(土) 13:33:26.33

モナドはCのポインタより概念が難しいのどうにかならんの
別のはないんですか

**デフォルトの名無しさん** · 2024/10/26(土) 14:33:50.42

ない
別に理論的な部分はすっ飛ばしていいよ
純粋関数型言語で手続き型言語のようなシーケンスをどうやったら書けるか？みたいなパズルを解く方法と思ってればいい
全てはdo記法にため