6 ms·

It’s on the far bleeding edge as far as languages go, so I doubt any businesses use it. The largest practical ATS program I know of is polyglot: https://github.

It’s on the far bleeding edge as far as languages go, so I doubt any businesses use it. The largest practical ATS program I know of is polyglot: https://github.com/vmchale/polyglot https://github.com/vmchale/polyglot

jp0d 5y ago
Thanks man. It's difficult to keep track as I've seen so many new languages on HN. This one seemed like an important one.
grumpyprole 5y ago
Rust seems very popular despite also being bleeding edge. I am surprised there isn't more public industry interest in ATS, it looks very principled and well designed.
- chriswarbo 5y ago
  ATS seems like a "Worse is Better" approach to dependent types and linear types. It exposes all of their power at the type level, and the value level allows both ML-style high level programming and C-level bit-banging. That's really useful for Yet to actually use that power, developers are pretty much left to implement everything themselves. The nice thing about Rust's borrow-checking approach is that common patterns can be inferred and checked. Linear types ATS offer the same power, but force developers to jump through more hoops 'manually' (and likewise for dependent types, compared to the fancy inference/proof-search approaches of languages like Idris)
  - jp0d 5y ago
    Thanks for the descriptive answer mate. I honestly don't know much about it. But I've read about the LISP family and ML family of languages. There are too many to choose from. I've decided to learn F# and have been going through some tutorials. I'm enjoying it quite a lot. ATS sounds like a good combo of abstraction meets bare metal.
moonchild 5y ago
The ATS compiler is also written in ATS.
- pabs3 5y ago
  How do you bootstrap the ATS compiler from source if you don't have binaries?
  - detaro 5y ago
    There is more than one compiler: http://www.ats-lang.org/Implements.html http://www.ats-lang.org/Implements.html

jp0d 5y ago

Thanks man. It's difficult to keep track as I've seen so many new languages on HN. This one seemed like an important one.

grumpyprole 5y ago

Rust seems very popular despite also being bleeding edge. I am surprised there isn't more public industry interest in ATS, it looks very principled and well designed.

chriswarbo 5y ago
ATS seems like a "Worse is Better" approach to dependent types and linear types. It exposes all of their power at the type level, and the value level allows both ML-style high level programming and C-level bit-banging. That's really useful for Yet to actually use that power, developers are pretty much left to implement everything themselves. The nice thing about Rust's borrow-checking approach is that common patterns can be inferred and checked. Linear types ATS offer the same power, but force developers to jump through more hoops 'manually' (and likewise for dependent types, compared to the fancy inference/proof-search approaches of languages like Idris)
- jp0d 5y ago
  Thanks for the descriptive answer mate. I honestly don't know much about it. But I've read about the LISP family and ML family of languages. There are too many to choose from. I've decided to learn F# and have been going through some tutorials. I'm enjoying it quite a lot. ATS sounds like a good combo of abstraction meets bare metal.

moonchild 5y ago

The ATS compiler is also written in ATS.

pabs3 5y ago
How do you bootstrap the ATS compiler from source if you don't have binaries?
- detaro 5y ago
  There is more than one compiler: http://www.ats-lang.org/Implements.html http://www.ats-lang.org/Implements.html