[Haskell-cafe] Polymorphic dynamic typing

[Don Stewart]

derek.a.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.

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