there are many interesting posts about ATS on Chris Double's blog<p><a href="http://www.bluishcoder.co.nz/tags/ats/" rel="nofollow">http://www.bluishcoder.co.nz/tags/ats/</a>
I've looked at ATS a few times before, and I really like all of the ideas behind it (fast, ultra-powerful typing, functional) but the syntax still seems a little clunky.<p>In any case the ATS compiler can emit C code, so it should be easy enough to re-implement a few bits of code at a time instead of needing to port entire projects all at once.