On Fri, 2007-11-23 at 18:45 +, 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
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?
First, a warning: fragile code follows, possibly
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?
Best regards,
Paulo
derek.a.elkins:
On Fri, 2007-11-23 at 18:45 +, 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