Comment on ATS: a dependently-typed systems programming language?Comments−mushishi14yWhat does the question mark imply at end of the title?−profquail14yPeople 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?"
Comments
What does the question mark imply at end of the title?
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?"