関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
502: 2024/10/04(金)22:46 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のグラフを結ぶ関数（射）が人間って言うのも有かな？とか、考えます。
（圏論では同型と分かれば（証明できれば）よくて、射の中身には言及しない）
上下前次1-新書関写板覧索設栞歴
あと 165 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s