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 levera
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 polymorphis
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?
Lo
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
__
