Safer C Code Using ATS

Chris Double shows how to use ATS to achieve static safety for things like correctly disposing of objects, which is quite remarkable, I think.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

One of the most interesting

One of the most interesting things about ATS is that of all the modern langauges that claim to be as fast as C, it actually is: http://shootout.alioth.debian.org/u64q/benchmark.php?test=all&lang=ats&lang2=gcc

It is indeed amazing that ATS allows you to write safe c-style code. Unfortunately verbose though.