|
|
|
|
|
|
by pspda5id
5810 days ago
|
|
|
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/ |
|
|