関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
294: 2024/07/03(水)23:29:27.98 ID:XPii5wC3(1) AAS
何を言っとるんじゃw
394: 2024/10/01(火)21:16:56.98 ID:Ig6Tf0ue(1/2) AAS
>>391
青本と似てて定義の後に具体例を出すみたいな感じだけど
具体例が数学科の人じゃないとわからない内容ばかりなので
結局個別の分野をやらないと理解できないと思う
433: 2024/10/02(水)23:17:44.98 ID:YWEZQEUD(5/7) AAS
入出力なんて代入に比べたら自明だろ…
そんなのいちいち教科書に書くかよ
502: 2024/10/04(金)22:46:51.98 ID:vLDssEdm(8/9) AAS
>>496
少なくともコマンド系のプログラムは圏をなしますね。
Haskellで作ると実感しますが、Haskellに限らず、
（ユーザーから見て）プログラムそのものが関数になります。
Linuxでコマンドをパイプライン処理するのは関数（射の）合成に相当しますし。
id相当のプログラムは作れますし。
・・・と考えると圏をなすと思うのですが。
（GUIプログラムもボタン単位とかで関数と言えますが、合成は…押した順序？）
例えば
{(x,2x+1) | x ∈ R} と 2x+1のグラフは同型だと直感的に分かりますが、その関数（射）は数式で表せません。
圏論では、可換図を受け取って可換図を返すとか出てきますので、{(x,2x+1) | x ∈ R} と 2x+1のグラフを結ぶ関数（射）が人間って言うのも有かな？とか、考えます。
（圏論では同型と分かれば（証明できれば）よくて、射の中身には言及しない）
534: 2024/10/06(日)01:53:03.98 ID:6zQjUfx4(1/3) AAS
いま正常性バイアスを理解した
全て正常だと仮定する
なるほど
639: 01/10(金)10:01:16.98 ID:xLB3XHZu(1) AAS
必要呼び評価戦略を採用するための前提として、すべての式の参照透過性が要求されるというだけでは
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.153s*