本页所列之例程的实现代码是名语言,因此源代码有参照意义。
procedure( V ...) → ? V : 精确非负整数?
procedure( V ...) → ?
procedure
( V ...) → ?
参见:易?
另见:、
> ( 1 2 3 4)'#(1 2 3 4)
'#(1 2 3 4)
procedure(? VEC) → boolean? VEC : any?procedure(? VEC) → boolean? VEC : any?
procedure(? VEC) → boolean?
(? VEC) → boolean?
procedure(? VEC) → boolean?
(? VEC) → boolean?
两例程分别等同于: (且 (易? VEC) (? VEC))(且 (固? VEC) (? VEC))
(且 (易? VEC) (? VEC))
(且 (固? VEC) (? VEC))
> (? '#(1 2 3 4))#f> (? '#(1 2 3 4))#t
#f
#t