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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
