23 Nov
2007
23 Nov
'07
2:30 p.m.
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.