<br><br><div class="gmail_quote">On Mon, Oct 27, 2008 at 12:02 PM, Brian Alliet <span dir="ltr">&lt;<a href="mailto:brian@brianweb.net">brian@brianweb.net</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
On Mon, Oct 27, 2008 at 10:58:11AM +0000, Simon Peyton-Jones wrote:<br>
&gt; Is there an interest in hosting GHC on the JVM (besides my own).<br>
<br>
Yep. I wrote a JVM backend for GHC (LambdaVM). It is suffering from<br>
bit-rot though. I think this thread has re-spaked my interest in it<br>
though.<br>
<br>
&gt; I don&#39;t think it&#39;s so hard to translate GHC&#39;s Core language to the<br>
&gt; JVM.<br>
<br>
Definitely not. That is more or less the route I took (I actually<br>
transform STG it into yet another simple intermediate laguage that is<br>
more JVM friendly, this was more for optimization purposes though).<br>
While C-- looks fantastic for generating native code, it just didn&#39;t<br>
seem worth the effort to shoehorn it into the JVM. Although I haven&#39;t<br>
looked at any of the new backend stuff, I suspect it still won&#39;t be<br>
suitable for the JVM.<br>
<br>
-Brian<br>
_____</blockquote><div><br></div><div>Being able to integrate Haskell into a rather large Java codebase might have made me not choose Erlang. &nbsp;Luckily, the OTP Erlang distribution had a lot of other really desirable features for the project I was working, yet I feel the lack of strong type checking hurt my productivity a bit, especially when trying to come up with a way to specify the real INs and OUTs between the Java and the Erlang code in terms of types. &nbsp;</div>
<div><br></div><div>The right way to solve that problem is with a stronger specification between the Java team, and the Erlang team (aka me), however, it was still a really positive experience in the ways of functional programming, and I suppose I could have used Haskell to generate the glue between Java and Erlang had I been a better Haskeller :-).</div>
<div><br></div><div>&nbsp;</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">__________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>