ATS: a dependently-typed systems programming language?

ATS: a dependently-typed systems programming language?(ats-lang.org)

35 points by devinj 14 years ago | 5 comments

riffraff 14 years ago |

there are many interesting posts about ATS on Chris Double's blog

http://www.bluishcoder.co.nz/tags/ats/

profquail 14 years ago |

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.

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.

doublec 14 years ago | |

Yes, it's possible to integrate ATS generated code into a C project. ATS provides control over the names of the generated functions so you can only convert the parts you want to be verified as safe by ATS if needed.

mushishi 14 years ago |

What does the question mark imply at end of the title?

profquail 14 years ago | |

People are always talking about how language 'X' is going to replace C as the next systems programming language. I think the question mark is meant to imply "Is ATS the next systems programming language?"