[Haskell-cafe] ANN / CFP - LLVM bindings for Haskell

[Ryan Dickie]

On Jan 3, 2008 3:43 AM, Bryan O'Sullivan <bos at serpentine.com> wrote:

> This is an early release of Haskell bindings for the popular LLVM
> compiler infrastructure project.
>
> If you don't know what LLVM is, it's a wonderful toybox of compiler
> components, from a complete toolchain supporting multiple architectures
> through a set of well-defined APIs and IR formats that are designed for
> building interesting software with.
>
> The official LLVM home page is here:
>
>  http://llvm.org/
>
> The Haskell bindings are based on Gordon Henriksen's C bindings.  The C
> bindings are almost untyped, but the Haskell bindings re-add type safety
> to prevent runtime crashes and general badness.
>
> Currently, the entire code generation system is implemented, with most
> LLVM data types supported (notably absent are structs).  Also plugged in
> is JIT support, so you can generate code at runtime from Haskell and run
> it immediately.  I've attached an example.
>
> Please join in the hacking fun!
>
>  darcs get http://darcs.serpentine.com/llvm
>
> If you want a source tarball, fetch it from here:
>
>  http://darcs.serpentine.com/llvm/llvm-0.0.2.tar.gz
>
> (Hackage can't host code that uses GHC 6.8.2's language extension names
> yet.)
>
> There's very light documentation at present, but it ought to be enough
> to get you going.
>
>        <b
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
Maybe I am asking an uninformed n00b question but how come GHC has fvia-C
and are also working on an asm backend. Is there any reason why they could
not build off the work of LLVM (which supports various architectures) then
ditch those two backends and call it a day?

--ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080103/cfe6bffe/attachment.htm