ATS (ats-lang.org) 1. Can embed and call C code with no overhead, uses C representation internally 2. Embedded C can use CPP, otherwise the language has macro

ATS (ats-lang.org) 1. Can embed and call C code with no overhead, uses C representation internally 2. Embedded C can use CPP, otherwise the language has macros 3. GC is optional 4. No "system" thread 5. Optional standard library 6. Static typing, linear types, types as propositions, programs as proof. 7. ML-style exceptions, not insane 8. Examples from K&R C translated into ATS http://www.ats-lang.org/EXAMPLE/KernighanRitchie/ http://www.ats-lang.org/EXAMPLE/KernighanRitchie/