<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=us-ascii">
<META content="MSHTML 6.00.2900.3562" name=GENERATOR></HEAD>
<BODY>
<DIV dir=ltr align=left><SPAN class=974162614-16092009><FONT face=Arial 
color=#800000 size=2>I think Sigbjorn's binding (<A 
href="http://haskell.forkio.com/dotnet/" target=_blank><FONT 
face="Times New Roman" 
size=3>http://haskell.forkio.com/dotnet/</FONT></A>&nbsp;as linked below) is the 
most complete and likely to work, but it's still just a binding not a compiler 
backend.</FONT></SPAN></DIV><BR>
<DIV class=OutlookMessageHeader lang=en-us dir=ltr align=left>
<HR tabIndex=-1>
<FONT face=Tahoma size=2><B>From:</B> haskell-cafe-bounces@haskell.org 
[mailto:haskell-cafe-bounces@haskell.org] <B>On Behalf Of </B>Matthew 
Podwysocki<BR><B>Sent:</B> 16 September 2009 15:25<BR><B>To:</B> Peter 
Verswyvelen<BR><B>Cc:</B> haskell-cafe@haskell.org<BR><B>Subject:</B> Re: 
[Haskell-cafe] Haskell -&gt; .NET<BR></FONT><BR></DIV>
<DIV></DIV>There was in fact another attempt as well, Salsa:<BR><A 
href="http://haskell.org/haskellwiki/Salsa">http://haskell.org/haskellwiki/Salsa</A><BR><BR>This 
showed quite a bit of promise but unfortunately was not more than just an 
experiment.<BR><BR>Matt<BR><BR>
<DIV class=gmail_quote>On Wed, Sep 16, 2009 at 10:21 AM, Peter Verswyvelen <SPAN 
dir=ltr>&lt;<A href="mailto:bugfact@gmail.com">bugfact@gmail.com</A>&gt;</SPAN> 
wrote:<BR>
<BLOCKQUOTE class=gmail_quote 
style="PADDING-LEFT: 1ex; MARGIN: 0pt 0pt 0pt 0.8ex; BORDER-LEFT: rgb(204,204,204) 1px solid">Yes, 
  but interop only touches the surface of what is possible.<BR><BR>When a 
  Haskell compiler could create IL code, it would be possible to<BR>use the 
  generated code inside a sandbox, e.g. to be used on the web as<BR>loadable 
  Silverlight code.<BR><BR>Of course the same could be said about other virtual 
  machines, such as<BR>Flash or Java, but I don't know about the tail call issue 
  here.<BR><BR>I guess for now F# would be the best option, but it would be 
  awesome<BR>if Haskell compilers could have more backends.<BR><BR>I realize 
  this is a very big undertaking, and has been mentioned<BR>before, but it 
  doesn't hurt to refresh the cache lines once in a<BR>while, so maybe some 
  bright student picks this up and hacks together<BR>something cool during the 
  summer :)<BR>
  <DIV>
  <DIV></DIV>
  <DIV class=h5><BR>On Wed, Sep 16, 2009 at 4:03 PM, Paul Sujkov &lt;<A 
  href="mailto:psujkov@gmail.com">psujkov@gmail.com</A>&gt; wrote:<BR>&gt; Hi 
  Peter,<BR>&gt;<BR>&gt; it seems that this question has been already raised 
  before:<BR>&gt;<BR>&gt; <A 
  href="http://www.haskell.org/pipermail/haskell-cafe/2005-January/008244.html" 
  target=_blank>http://www.haskell.org/pipermail/haskell-cafe/2005-January/008244.html</A><BR>&gt;<BR>&gt; 
  and there are some .Net interop implementations on the net (it is a 
  question<BR>&gt; how mature they are, however):<BR>&gt;<BR>&gt; <A 
  href="http://php.cin.ufpe.br/%7Ehaskell/haskelldotnet/" 
  target=_blank>http://php.cin.ufpe.br/~haskell/haskelldotnet/</A><BR>&gt; <A 
  href="http://haskell.forkio.com/dotnet/" 
  target=_blank>http://haskell.forkio.com/dotnet/</A><BR>&gt;<BR>&gt; 2009/9/16 
  Peter Verswyvelen &lt;<A 
  href="mailto:bugfact@gmail.com">bugfact@gmail.com</A>&gt;<BR>&gt;&gt;<BR>&gt;&gt; 
  I heard that compiling Haskell to Java is not obvious since tail 
  calls<BR>&gt;&gt; are not supported.<BR>&gt;&gt;<BR>&gt;&gt; .NET's 
  intermediate language (IL) does support tail calls, however it<BR>&gt;&gt; is 
  currently slower than regular calls, and is not always supported 
  by<BR>&gt;&gt; all JITs.<BR>&gt;&gt;<BR>&gt;&gt; But given that F# will soon 
  be officially released, I hope that<BR>&gt;&gt; eventually tail calls will 
  work as expected, and fast<BR>&gt;&gt;<BR>&gt;&gt; See e.g.<BR>&gt;&gt; <A 
  href="http://blogs.msdn.com/clrcodegeneration/archive/2009/05/11/tail-call-improvements-in-net-framework-4.aspx" 
  target=_blank>http://blogs.msdn.com/clrcodegeneration/archive/2009/05/11/tail-call-improvements-in-net-framework-4.aspx</A><BR>&gt;&gt;<BR>&gt;&gt; 
  So, might it be worth considering a .NET backend for a Haskell 
  compiler?<BR>&gt;&gt;<BR>&gt;&gt; Peter Verswyvelen<BR>&gt;&gt; 
  _______________________________________________<BR>&gt;&gt; Haskell-Cafe 
  mailing list<BR>&gt;&gt; <A 
  href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</A><BR>&gt;&gt; 
  <A href="http://www.haskell.org/mailman/listinfo/haskell-cafe" 
  target=_blank>http://www.haskell.org/mailman/listinfo/haskell-cafe</A><BR>&gt;<BR>&gt;<BR>&gt;<BR>&gt; 
  --<BR>&gt; Regards, Paul 
  Sujkov<BR>&gt;<BR>_______________________________________________<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></DIV></DIV></BLOCKQUOTE></DIV><BR> <BR/><!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><p class=MsoNormal><span lang=EN-US style='font-size:8.0pt;font-family:Courier'>==============================================================================<br>Please access the attached hyperlink for an important electronic communications disclaimer:<br><a href="http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html">http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html</a><br>==============================================================================<o:p></o:p></span></p></html> <br>
</body></HTML>