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