emacs-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GSoC: Emacs Lisp support for GNU Guile


From: Andy Wingo
Subject: Re: GSoC: Emacs Lisp support for GNU Guile
Date: Fri, 03 Apr 2009 10:30:26 -0700
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.91 (gnu/linux)

Hi Stefan,

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.

Probably not something for Daniel, however ;-)

Cheers,

Andy
-- 
http://wingolog.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]