Hi Stefan, On Wed 01 Apr 2009 06:31, Stefan Monnier <monn...@iro.umontreal.ca> writes:
> (defun append (l1 l2) > (declare (type _∷_ <↓> x ⊛ sequence Γ)) Another tack would be something like Typed Scheme, from the PLT folks. I assume you've seen it? It makes particular sense in the context of modules, where interprocedural calls within a typed module have no type checking. Probably not something for Daniel, however ;-) Cheers, Andy -- http://wingolog.org/
