Introduction to Programming in ATS
0 comments · book, plt
- Comments6
0 comments · book, plt
Story details from Lobsters ↗ · linked article on ats-lang.sourceforge.net.
Introduction to Programming in ATS was first seen on Lobsters · Hottest on Nov 1, 2026. Since then it has appeared in 42 checks on 2 different days. Its best position was #7 of 25, reached on Nov 2, 01:21 UTC. It dropped off the list after Nov 2, 18:21 UTC. The same link also trended on Hacker News, which raises its cross-platform score.
Position on Lobsters · Hottest at every check (lower is better).
Best rank per day (UTC).
Platform metric as reported by Lobsters.
| List | Best | Days | Checks | Last seen |
|---|---|---|---|---|
| Lobsters · Hottest | #7 | 2 | 42 | |
| YHacker News · Front page Introduction to Programming in ATS | same link | |||
A few top-level comments from Lobsters, shortened. Read the full thread on Lobsters.
If anyone is interested, I have a [bunch of ATS posts](https://bluishcoder.co.nz/tags/ats/) showing how it can be used for safe handling of memory and others things.
I actually got this link from your March 23rd blog post after looking into building ATS2, because I was also looking at Rust + Verus. It seems like a very underappreciated largely language because of the prerequisite knowledge required to dig into it.
Ttese helped me get over the intial learning humps along with the official manual. Funny that when I was doing some learning about Factor a few months later, Bluish Coder posts come up again.
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 2, 18:21 UTC, after 2 days of trending.
#7 on Lobsters · Hottest, on Nov 2, 01:21 UTC. Trendoday checks this list every 30 minutes.
It was first seen on Nov 1, 2026 and has been on the list on 2 days (42 checks) since.