[Haskell-cafe] Haskell compilers targeting VMs

[Carlton Mills]

  LLVM has a .net and JVM code generator. I don't think it is production ready yet. GHC can generate code via LLVM. So in theory one could run on either VM. However, see the "Why isn't GHC available ..." link below. The GC and library integration would require lot's of work. Good senior project for someone who wishes to spend 3 years as a senior.
-Carlton
  Daniel Peebles pumpkingod at gmail.com 

A more subtle issue is that there's some sort of memory leak that arises when you can't instruct the GC to follow projection functions of datatypes. I believe the GHC heap representation has a built-in notion of theseforwarding closures and the GC follows them when possible, but most VM GCsare just black boxes. It might still be possible to create an artificialfield in a representation of your closure that the GC can follow, but itcould be tricky.On Thu, Feb 23, 2012 at 11:59 AM, Tom Murphy <amindfv at gmail.com> wrote: >There are some substantial technical challenges: >>http://www.haskell.org/haskellwiki/GHC:FAQ#Why_isn.27t_GHC_available_for_.NET_or_on_the_JVM.3F >>Not that it can't be done, but there's nothing ready yet. >>Tom (IRC: amindfv) >>> >> Does any one knows of an Haskell compiler targeting the JVM ? And of one >> targeting the .Net virtual machine ? >> >> Regards, >> ARJANEN Loïc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120223/f13f8546/attachment.htm>