Posted by V. Ramakrishna on February 14, 2004 at 16:37:21:
In Reply to: Re: P3 Questions posted by Steve VanDeBogart on February 14, 2004 at 12:35:26:
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.