ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

Explore on GitHub Read Hacker News discussions

4Distinct people

4Mentions

0Explicit recommenders

401GitHub stars

REPOSITORY AT A GLANCE

What to know before exploring

What it is

ATS2: Unleashing the Potentials of Types and Templates

GitHub

Where it is used

No documented product use was verified in the last source check.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 5:04:57 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by year4 dated mentions

Observed mentions: 2016-01-26 14:30:16 UTC to 2020-08-12 16:25:07 UTC.

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges

UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
Period	Start (UTC)	End (exclusive, UTC)	Mentions	Submissions	Comments
2016	2016-01-01 00:00:00 UTC	2017-01-01 00:00:00 UTC	1	0	1
2017	2017-01-01 00:00:00 UTC	2018-01-01 00:00:00 UTC	1	1	0
2018	2018-01-01 00:00:00 UTC	2019-01-01 00:00:00 UTC	1	0	1
2019	2019-01-01 00:00:00 UTC	2020-01-01 00:00:00 UTC	0	0	0
2020	2020-01-01 00:00:00 UTC	2021-01-01 00:00:00 UTC	1	0	1

What Hacker News says

4 sources

ghostwriter·Aug 12, 2020

It's far from dead, a new version of the compiler is being developed on top of ATS2 (https://github.com/githwxi/ATS-Xanadu). ATS2 is being updated too (https://github.com/githwxi/ATS-Postiats), the latest stable release happened last December: https://github.com/githwxi/ATS-Postiats/blob/master/CHANGES-... https://sourceforge.net/projects/ats2-lang/files/ats2-lang/

In QEMU should move from C to Rust

zenhack·Jan 3, 2018

It isn't just that ATS is understaffed. I gave up trying to contribute because I got tired of getting active pushback on basic style issues that I would expect CS undergrads to have figured out by the end of their first semester. Case in point: https://github.com/githwxi/ATS-Postiats/pull/35#issuecomment... Seriously, "When the dust settles, we will think of better names ..." Hongwei is a great researcher, but he hasn't displayed particularly good judgment wrt. software engineering, and no amount of external contributors can fix problems that come down to a maintainer who actively pushes bad practices. It was almost heartbreaking to walk away from ATS for me, but I came to the conclusion that I just wasn't going to be able to fix the things that needed fixing while Hongwei was making decisions like these. At (IIRC) Hac Boston 2012, Edwin

Read the rest

Brady gave a talk on what was at the time a very work-in-progress version of Idris. There were several points during the talk where he went to demo some basic feature in the repl, got some nasty error message, and went "oh right, I haven't implemented that yet." But even then, it felt more polished than ATS does now.

In Casting in ATS

TheAsprngHacker·Nov 30, 2017Submission

ATS2: Unleashing the Potentials of Types and Templates

1 points · Open discussion

masklinn·Jan 26, 2016

If you read the original article[0] it did very well on the speed/size bench (5/5) but took a big hit on ease of writing (1/5) ending up with 48 between C# (47) and Haskell (49) and the following summary note: > Everything would be incredibly fast, but getting new contributors would be very difficult due to the learning curve. There’s a risk of crashes as the library is not entirely memory safe, and there are likely to be changes ahead to the language. Probably writing the whole thing in ATS would be too much work for anyone. ATS didn't make it to round 2[1] on grounds of use difficulty and difficulty of separating memory-safe and memory-unsafe code. That seems prescient as the original ATS1 (ATS/Anairiats) was replaced by ATS2 (ATS/Postiats) a few months later, I don't know how compatible the two are but the FAQ puts ATS1 and ATS2 in dif

Read the rest

ferent categories[2] [0] http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-r... [1] http://roscidus.com/blog/blog/2013/06/20/replacing-python-ro... [2] https://github.com/githwxi/ATS-Postiats/wiki/ATS-implementat...

In Python to OCaml: Retrospective