Re: GSoC: Emacs Lisp support for GNU Guile

[Andy Wingo]

On Fri 03 Apr 2009 13:31, Chong Yidong <address@hidden> writes:

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

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/