Hey, 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. Bigloo has syntactic support for static typing, which it also uses to optimize code: http://www-sop.inria.fr/mimosa/fp/Bigloo/doc/bigloo-25.html#Explicit-typing (I'm not fond of this syntax, though.) Thanks, Ludo'.
