08/04/14 00:28:47
>>152
total functionは、全ての実引数に対して値が定義されている関数。
partial functoinは、値の定義されてない実引数のある関数。
具体例は、
(define (f x)
(if (= x 1) 1
(f (- x 1))))
定義域を自然数だとするとtotal function。
整数だとするとpartial function。
負の数の時に停らないあるいは値が未定義だから。
(define (f x) (/ 1 x))もxが0だと駄目だからpartial function。