- What is the most feature-rich programming language
- Does Rust have any design mistakes?
- Why is ATS not considered in the design of modern system languages?
- ESPOL, NEWP, Mesa, Cedar, Modula-2, Modula-2+, Modula-3, Oberon, Oberon-2, Component Pascal, Active Oberon, D, C#, F#, VB, Ada, Go, Swift, just a few examples.
- What are all the situations you can't do compile time type-checking when building a programming language?
- Is it possible to make a functional programming language that is equivalent of Rust in terms of performance and resource efficiency?
- The ATS Programming Language
- learning resources?
- ATS: Why Linear Types are the Future of Systems Programming
- ATS Programming