[Haskell-cafe] Re: Haskell and scripting

Fri May 7 20:51:13 EDT 2010

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 at kf8nh.com
> system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
> electrical and computer engineering, carnegie mellon university    KF8NH
> 
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100507/b5f345eb/attachment.html