Nice!<div><br></div><div>Maybe efforts could be combined by integrating some of this work:</div><div><br></div><div><a href="http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Salsa">http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Salsa</a></div>
<div><br></div><div>which statically types checks all the calls to DOTNET (emulates the C# type system using type families, I found it nifty)</div><div><br></div><div><br></div><div><div class="gmail_quote">On Thu, Jan 15, 2009 at 12:14 PM, Yitzchak Gale <span dir="ltr">&lt;<a href="mailto:gale@sefer.org">gale@sefer.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="Ih2E3d">Sigbjorn Finne wrote:<br>
&gt; the first public release of hs-dotnet is now available<br>
<br>
</div>Fantastic accomplishment! I can only repeat dons&#39; comment<br>
- this could be game-changing.<br>
<br>
Some obvious questions that come to mind:<br>
<br>
We see that it is already possible to expose a Haskell function<br>
to .NET as a callback. That&#39;s exciting! Can we go to the next step<br>
and register it as part of an assembly?<br>
<br>
Is it be possible for a running .NET app to fire<br>
up the GHC runtime and call into compiled Haskell?<br>
<br>
Is it possible at all for a .NET function not to have any side effects?<br>
If so, is there any way to label it as such and then call it<br>
from Haskell outside of the IO monad?<br>
<br>
Thanks,<br>
Yitz<br>
<div><div></div><div class="Wj3C7c">_______________________________________________<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></div>