On Fri 14 Oct 2011 18:23, Linas Vepstas <[email protected]> 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/
