[racket] Polymorphism via compile time dispatch

Typed Racket can do compile-time dispatch:
http://docs.racket-lang.org/ts-guide/optimization.html
(the documentation is more complete in the nightly builds)

We do compile-time dispatch using types. We're also looking into
making it possible for users to define their own type-based
optimizations.

Typed Racket also does type inference, so you wouldn't need to specify
types in your examples and types would be checked at compile time.

Vincent



At Sat, 18 Sep 2010 16:35:56 -0400,
Eduardo Cavazos wrote:
> 
> Hello,
> 
> Here's a little experiment in compile time dispatch implemented in Chez 
> Scheme:
> 
>      http://gist.github.com/585469
> 
> The experiment is dependent upon a feature particular to Chez Scheme 
> described in section 11.4. "Compile-time Values and Properties" in the 
> user's guide:
> 
>      http://scheme.com/csug8/syntax.html#./syntax:h4
> 
> In particular, I'm using 'define-property'.
> 
> Is there a similar facility for Racket? Any tips for doing this sort of 
> thing in Racket are welcome. :-)
> 
> Ed
> _________________________________________________
>   For list-related administrative tasks:
>   http://lists.racket-lang.org/listinfo/users