githwxi/ATS-Postiats
View on GitHub ↗ ★ 401 ATS
ATS2: Unleashing the Potentials of Types and Templates
5 mentions on Hacker News by 5 people: 1 story, 4 comments · first 2016-01-26 · latest 2026-11-03
20082026
-
Looks interesting. Actively developed : https://github.com/githwxi/ATS-Postiats edit: You are right, I did not know there was a third version. If only this thing had release notes. I have no idea the current state of the language is.…
comment by esafak · 2026-11-03 · in Introduction to Programming in ATS -
…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…
comment by ghostwriter · 2020-08-12 · in QEMU should move from C to Rust -
…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 ..."…
comment by zenhack · 2018-01-03 · in Casting in ATS -
▲ 1
ATS2: Unleashing the Potentials of Types and Templatesstory by TheAsprngHacker · 2017-11-30 · 0 comments
-
…[1] http://roscidus.com/blog/blog/2013/06/20/replacing-python-ro... [2] https://github.com/githwxi/ATS-Postiats/wiki/ATS-implementat...
comment by masklinn · 2016-01-26 · in Python to OCaml: Retrospective