On Dec 19, 2007 9:13 PM, Neil Mitchell <[EMAIL PROTECTED]> wrote: > > OK, If you managed to read until this point, you might have noticed > > that, due to the monomorphism restriction implied by Data.Typeable, it > > is impossible to build polymorphic processes. > > Tom Shackell had similar issues with passing code around at runtime. > As a result Yhc contains the Yhc.Dynamic module which gives you all > polymorphic dynamic typing. It's integrated into the compiler and > runtime system.
Thanks for your answer Neil. >From your description it _seems_ to be exactly what I need (I coudn't reallly figure it out form the sources since its implementation seems to rely on Yhc internals I totally ignore). Are there any examples of use available? Even if Yhc.Dynamic turns out to be what I need, my implementation unfortunately depends on Template Haskell. Could any GHC guru point out if this would be feasible (and how complicated) to implement in GHC? Thanks, Fons _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
