[Haskell-cafe] Polymorphic dynamic typing

Derek Elkins derek.a.elkins at gmail.com
Fri Nov 23 14:30:34 EST 2007

On Fri, 2007-11-23 at 18:45 +0000, Paulo Silva wrote:
> Hello,
> Type representations using GADTs are being used to achieve dynamic  
> typing in Haskell. However, representing polymorphic types is  
> problematic. Does anyone know any work about including polymorphism  
> in dynamic typing?

Look at Clean's Dynamics.

That said, the ultimate end of this direction is to include the type
checker in the run-time.

More information about the Haskell-Cafe mailing list