[Haskell-cafe] [ANN]: the Helium compiler, version 1.8.1

Alberto G. Corona agocorona at gmail.com
Fri Apr 24 07:23:59 UTC 2015


Thanks. I'll take a look.

2015-04-23 9:50 GMT+02:00 Jurriaan Hage <J.Hage at uu.nl>:

>
> On 20Apr, 2015, at 12:26, Alberto G. Corona <agocorona at gmail.com> wrote:
>
> > Great!
> >
> Hi Alberto,
>
> > How the type rules detailed in the "scripting the type inference engine"
> paper are implemented?
> Euh… I guess you have to consult the implementation of the compiler. Most
> of the code you need
> to look at is in src/Helium/StaticAnalysis/Directives/
> Essentially, we ``replace’’ the original constraints by the explicitly
> written down constraints. With these
> constraints a function is associated that given the necessary context
> information can produce
> the domain specific report. The replacement is performed by pattern
> matching on the AST.
>
> >  it is possible to script the inference engine with such rules?
> Sure
> > If so, are there some examples?
> Just run
>
>   heliumpath
>
> Then take the path that ends in
>
>   lib/helium-1.8.1/share
>
> add
>
>   /lib
>
> to the path, and then you can find in that directory files that have
> extension .type.
> Those can serve as examples.
>
> best,
> Jur
>
>


-- 
Alberto.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150424/81bf44cf/attachment.html>


More information about the Haskell-Cafe mailing list