[Haskell-cafe] Polymorphic dynamic typing
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:
> 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