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