[Haskell-cafe] Polymorphic dynamic typing

[Derek Elkins]

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.