関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
447: 2024/10/03(木)19:56 ID:B2Xmf+Xl(3/9) AAS
入出力があるプログラムをどう数学的に整合する概念に対応させるかについて書いてみる。
こういう説明が通るものなのか興味があるし。
まず、仮想的なシェルスクリプト風の行番号付き手続き型言語を想定して、
その言語で入出力があるプログラムを定義するとする。
000 procedure prog1(int n) {
001 double res
002 （なにか込み入った計算）
....
020 echo "hogehoge"
021 （なにか込み入った計算）
....
050 echo "fugafuga"
051 （なにか込み入った計算）
...
100 return res }
このプログラムは実行 $(prog1) すると、行番号001版から順に評価していって複雑な計算をしつつ途中
hogehoge ← 行番号０２０の命令を評価
fugafuga ← 行番号０５０の命令を評価
と表示した上で、返り値 res を返す、という動作をする。
上下前次1-新書関写板覧索設栞歴
あと 220 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s