関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上
下
前
次
1-
新
419
: 2024/10/02(水)21:51
ID:OPLMo7z3(1/8)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
419: [] 2024/10/02(水) 21:51:30.73 ID:OPLMo7z3 プログラミング言語もどんどん数学に寄せているし、上のカキコみたいにプログラムの記述を そのまま数学的対象とみなせるように改造していってると思う。本来は別物と考えるべきだと思う。 数学の研究といってもプログラム意味論の研究で、プログラムを数学の世界に写像したら どう表現できるかということを研究していると言えるんじゃないかと思う。 数学の世界には、式の評価途中に発生する副作用といった概念がないので、現実のプログラムを そのまま数学の世界に移そうと思ってもできないことの方が多い。 計算効果を圏論的に表現できたというのは、そういうプログラミング言語の数学化の一端みたいな もんだと思う。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/419
プログラミング言語もどんどん数学に寄せているし上のカキコみたいにプログラムの記述を そのまま数学的対象とみなせるように改造していってると思う本来は別物と考えるべきだと思う 数学の研究といってもプログラム意味論の研究でプログラムを数学の世界に写像したら どう表現できるかということを研究していると言えるんじゃないかと思う 数学の世界には式の評価途中に発生する副作用といった概念がないので現実のプログラムを そのまま数学の世界に移そうと思ってもできないことの方が多い 計算効果を圏論的に表現できたというのはそういうプログラミング言語の数学化の一端みたいな もんだと思う
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 248 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.033s