[Haskell-cafe] Polymorphic dynamic typing
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.
More information about the Haskell-Cafe