Re: GSoC: Emacs Lisp support for GNU Guile

[Ludovic Courtès]

Hey,

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.

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'.