[racket] typed racket and interfaces

On 2014-05-02 18:57:52 +0200, Konrad Hinsen wrote:
> Interfaces provide functions that dispatch on the type of one of their
> arguments. I don't see how that can be done with types.

Maybe we are talking about different things. Interfaces[1] for classes
just provide a mechanism for ensuring certain methods are implemented.
They don't provide any dispatch.

Were you referring to generic interfaces[2] for structs? (also, it was
perhaps a mistake on our part to also call those interfaces)

[1]: http://docs.racket-lang.org/reference/createinterface.html
[2]: http://docs.racket-lang.org/reference/struct-generics.html

Cheers,
Asumu