Re: [Chicken-hackers] CR: (#439) quasiquote changes

[John Cowan]

Thomas Chust scripsit:

> few Scheme compilers would report (cons (x)) as a compile time error
> for lack of static type information.

You don't need any, unless you are prepared to handle reassigning (as
opposed to rebinding) the name.  As long as cons is not locally rebound,
you know it takes two arguments, and if it is locally rebound, you still
know how many arguments it takes if it is bound to a lambda, and can
blow it off if it is not.  If that counts as static type information,
it's a pretty minimal variety.

> Obviously, if enough static type information was present, it would be
> easy to check whether (x) actually returned exactly two values 

That's actually not possible unless you have static knowledge of *every*
procedure.

-- 
Overhead, without any fuss, the stars were going out.
        --Arthur C. Clarke, "The Nine Billion Names of God"
                John Cowan <address@hidden>