Posted by N V Krishna on February 15, 2004 at 03:06:48:
In Reply to: Re: P3 Questions posted by V. Ramakrishna on February 14, 2004 at 16:37:21:
: Following up on this:
: What is the type of (lambda (x y) (if (x) y x)) ?
: Do we infer that the types of x and y are both boolean? Note: this question would occur only if this lambda expression is not applied to anything.
Yes. And the type of the expression would be
(boolean boolean) -> boolean
Krishna.