There is a also a problem with polymorphic actions of functions. The GHC API is typesafe only when returning elements of the Typeable class. Else you can do an unsafeCoerce, but I assume that hint uses Typeable, with a wrapper class to ensure monomorphism.

But if your "script" action returns a monomorphic type, you can use the GHC API directly instead and unsafeCoerce.


El 07/05/2010, a las 20:12, Brandon S. Allbery KF8NH escribió:

On May 7, 2010, at 19:51 , Limestraël wrote:
      then interpret "script" (as :: ScriptFun)

There is just the line I put in bold that bothers me. Can't we get the action "script" more easily than by re-interpreting some code?

Make up your mind:  you don't want to have to compile the script, but you don't want to have to interpret the script.  What exactly is supposed to be left?

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe