On Sun, Jan 16, 2011 at 9:32 AM, Permjacov Evgeniy
On 01/13/2011 10:45 PM, Tim Chevalier wrote:
Hello,
I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter, typechecker, and interpreter for External Core, as well as modules for computing module dependencies and combining multiple Core modules into a single module.
May be a stupid quesion, but does interpreter allow reasonably easy way to expose some haskell functions and data types to interpreted code as 'primitives' ? such an interpreter may be yet another scripting language, yet quite verbose one.
Maybe? I'm not sure I understand your question, but take a look at the evalPrimop function in Language/Core/Interp.hs and see if that answers your question. I have to admit that the interpreter is the most bit-rotted part of the External Core tools and its main function right now is to give an operational semantics for Core rather than to actually execute Core programs. I'd welcome any help with that! Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc/ * Often in error, never in doubt "an intelligent person fights for lost causes,realizing that others are merely effects" -- E.E. Cummings