3 ms·
Why does ATS not get more traction in discussions like this? That's what it's made for. This is the only mention so far in this comment page.
by imglorp 10y ago
Why does ATS not get more traction in discussions like this? That's what it's made for. This is the only mention so far in this comment page.
- nine_k 10y agoNot enough publicity, to my mind. Rust is popular because Mozilla, a well-known company, is developing it for a well-known major project, a web browser. Go is well-known due to Google, and the fact that many people with an opinion-setting power know who Rob Pike is. Haskell, well, just spent 20 years being around, sometimes in university curricula. ATS is only, it seems, known to people who are specifically interested in formally-correct low-level code, on the sparsely-populated intersection of math and hardware geekery.