Lisp Scheme Part21
at TECH
213:デフォルトの名無しさん
08/04/14 01:44:48
>>210の方が合ってるぞ。
URLﾘﾝｸ(foldoc.org)
> 関数が計算を終了するかどうかでpartialと区別する。
これは間違い。例えばSMLのような例外のある計算系では、
関数の値が未定義の場合も停止する。Liftされているから。
表示的意味論の本を読めばちゃんと書いてあるよ。
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5371日前に更新/111 KB
担当:undef