関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上
下
前
次
1-
新
470
: 2024/10/04(金)19:24
ID:tixO3LDq(3/22)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
470: [] 2024/10/04(金) 19:24:13.18 ID:tixO3LDq Moggiのアイディア２ ・入出力プログラム（に対応する数学的概念）は、圏をなすはずだ。 Moggiのアイディア１の段階でもprog :: A → IO Bは参照透過性を保ったまま入出力を行うプログラムになるはずだが、 入出力プログラム同士の合成が考えられていない。入出力プログラム prog1、prog2と開発したら、できるだけ再利用するというのが 現実のプログラミングだと思う。わざわざprog1とprog2の合成として定義できそうなプログラムを得るために、イチイチいちから 開発するということを理論的に要請されるというのは不合理。 純粋関数は、λ式に割り当てられることになって、当然、圏をなすだろうに、 プログラムに割り当てられるものが圏を成さないというのはおかしい。 でも、入出力プログラムはMoggiのアイディア１から、 prog :: A → IO B という特殊な返り値の型を持っているため単純な合成ができない。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/470
のアイディア２ 入出力プログラムに対応する数学的概念は圏をなすはずだ のアイディア１の段階でも は参照透過性を保ったまま入出力を行うプログラムになるはずだが 入出力プログラム同士の合成が考えられていない入出力プログラム と開発したらできるだけ再利用するというのが 現実のプログラミングだと思うわざわざとの合成として定義できそうなプログラムを得るためにイチイチいちから 開発するということを理論的に要請されるというのは不合理 純粋関数は式に割り当てられることになって当然圏をなすだろうに プログラムに割り当てられるものが圏を成さないというのはおかしい でも入出力プログラムはのアイディア１から という特殊な返り値の型を持っているため単純な合成ができない
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 197 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.037s