[Haskell-cafe] ANN: extcore 1.0
catamorphism at gmail.com
Tue Jan 18 23:41:50 CET 2011
On Sun, Jan 16, 2011 at 9:32 AM, Permjacov Evgeniy <permeakra at gmail.com> wrote:
> On 01/13/2011 10:45 PM, Tim Chevalier wrote:
>> 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!
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
More information about the Haskell-Cafe