Hey,
Andy Wingo writes:
> On Wed 01 Apr 2009 06:31, Stefan Monnier 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
Hi Daniel,
Daniel Kraft writes:
> here's my patch from last december to fix some internal
> inconsistencies that prevented guile from compiling with
> --disable-deprecated at that time. I've now my copyright assignment
> in place, so when it is ok you could commit it at any time. The patch
> i
