Andy Wingo <wi...@pobox.com> writes: > 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.
You might want to check the date of Stefan's message.
