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