Test cases and static typing

[Raffael Cavallaro]

"Marshall Spight" <mspight at dnai.com> wrote in message news:<YBhmb.19492$Tr4.40240 at attbi_s03>...
> "Pascal Costanza" <costanza at web.de> wrote in message news:bnc8dj$pvi$1 at f1node01.rhrz.uni-bonn.de...
> >
> > And that's all I wanted from the very beginning - static typing as an
> > additional tool, not as one that I don't have any other choice than use
> > by default.
> 
> I can get behind that idea! It strikes me as being better
> than what one has now with either statically typed
> languages or dynamically typed languages.


Then the addition of parameterized types to goo, might interest you.

<http://www.csail.mit.edu/research/abstracts/abstracts03/dynamic-languages/03knight.pdf>

Also see the main goo page:
<http://www.ai.mit.edu/~jrb/goo/>