[racket] Polymorphism via compile time dispatch

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Sat Sep 18 16:57:43 EDT 2010

Typed Racket can do compile-time dispatch:
(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

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.


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

Posted on the users mailing list.