<a href="http://www.ats-lang.org/">http://www.ats-lang.org/</a><br><br><div class="gmail_quote">2009/2/16 Jon Fairbairn <span dir="ltr"><<a href="mailto:jon.fairbairn@cl.cam.ac.uk">jon.fairbairn@cl.cam.ac.uk</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="Ih2E3d">Maurício <<a href="mailto:briqueabraque@yahoo.com">briqueabraque@yahoo.com</a>> writes:<br>
<br>
> Hi,<br>
><br>
> I've checked this 'BitC' language (<a href="http://www.bitc-lang.org" target="_blank">www.bitc-lang.org</a>). It<br>
> uses some ideas we see in Haskell, although with different<br>
> realization, and target mainly reliable low level code,<br>
> like micro-kernels (although I think it could be used<br>
> anywhere C is also used, including writing libraries Haskell<br>
> could call with FFI).<br>
><br>
> Do you guys know of other languages like that that I could<br>
> check?<br>
<br>
</div>Hume <<a href="http://www-fp.cs.st-andrews.ac.uk/hume/index.shtml" target="_blank">http://www-fp.cs.st-andrews.ac.uk/hume/index.shtml</a>><br>
might be worth a look. I've never tried it, and since one of<br>
the top chaps associated with it said to me that he loathes<br>
Haskell, I'm not sure I should mention it here :-)<br>
<font color="#888888"><br>
--<br>
Jón Fairbairn <a href="mailto:Jon.Fairbairn@cl.cam.ac.uk">Jon.Fairbairn@cl.cam.ac.uk</a><br>
<a href="http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html" target="_blank">http://www.chaos.org.uk/~jf/Stuff-I-dont-want.html</a> (updated 2009-01-31)<br>
</font><div><div></div><div class="Wj3C7c"><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>