On Fri 03 Apr 2009 13:31, Chong Yidong <c...@stupidchicken.com> writes:
> 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. I considered that possibility. People who use these type systems are crazy every day of the year though, so as I don't know Stefan, I had to give him the benefit of the doubt :) Andy -- http://wingolog.org/
