Re: GSoC: Emacs Lisp support for GNU Guile

[Chong Yidong]

Andy Wingo <address@hidden> writes:

> On Wed 01 Apr 2009 06:31, Stefan Monnier <address@hidden> 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.