I tried the following program in ASL. In Definitions:
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(: g (Number -> Number))
(define g
(lambda (x)
(if (= x 0)
x
(list "three" x))))
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
I ran Definitions, and then in my Interactions window, entered:
> (g 20)
I got back a result that was not a number, but I did not see an
expected signature error. Should I? I tried this in Die Macht der
Abstraktion, with identical results.
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev