Re: A bit further toward the flamewar

[Andy Wingo]

On Fri 14 Oct 2011 18:23, Linas Vepstas <address@hidden> writes:

> 2) Flame-war.
>
> In the spirit of 2),

Whee!

(I generally avoid flamewars, but this one has not caught fire yet :)

> So the proposal is: (shout me down, when ready): create a new srfi,
> defining an ML-like conception of types, so that scheme functions can
> be annotated with types.

I suggest instead taking a look at Typed Racket, from the PLT folks.
They have done a lot of good thinking there.

Andy
-- 
http://wingolog.org/