08/04/14 01:44:48
>>210の方が合ってるぞ。
URLﾘﾝｸ(foldoc.org)
> 関数が計算を終了するかどうかでpartialと区別する。
これは間違い。例えばSMLのような例外のある計算系では、
関数の値が未定義の場合も停止する。Liftされているから。
表示的意味論の本を読めばちゃんと書いてあるよ。
08/04/14 01:44:48
>>210の方が合ってるぞ。
URLﾘﾝｸ(foldoc.org)
> 関数が計算を終了するかどうかでpartialと区別する。
これは間違い。例えばSMLのような例外のある計算系では、
関数の値が未定義の場合も停止する。Liftされているから。
表示的意味論の本を読めばちゃんと書いてあるよ。