[Haskell-cafe] Polymorphic dynamic typing

Don Stewart dons at galois.com
Fri Nov 23 14:47:24 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.

That is the end point. Clean's dynamics only include a stripped down
type checker -- the step beyond that is something like hs-plugins, which
reuses the compiler's type checker at runtime splice points.

-- Don

More information about the Haskell-Cafe mailing list