[HN Gopher] The ATS Programming Language ___________________________________________________________________ The ATS Programming Language Author : rak1507 Score : 37 points Date : 2021-08-17 20:47 UTC (2 hours ago) (HTM) web link (www.ats-lang.org) (TXT) w3m dump (www.ats-lang.org) | rtfeldman wrote: | Some entertaining talks introducing the language, by /u/deech: | | "A Tase Of ATS" at Compose Conf 2019: | | https://youtu.be/ADN6B1Wk5Ts | | "A (Not So Gentle) Introduction To Systems Programming In ATS" at | Strange Loop 2017: | | https://youtu.be/zt0OQb1DBko | jetrink wrote: | What does tase mean in this context? | [deleted] | henning wrote: | The end-boss of programming languages. | dan-robertson wrote: | Vanessa McHale has a great set of blog posts about ATS. They | touch on technical aspects of the language and it's type system | as well as practical aspects and real-world performance of | compiled programs. The list is here: | | http://blog.vmchale.com/category/ATS | | If you click the 'next' link a few times you can go through | several pages to earlier posts that introduce the language. | dang wrote: | Past related threads: | | _ATS: Why Linear Types Are the Future of Systems Programming_ - | https://news.ycombinator.com/item?id=26191219 - Feb 2021 (1 | comment) | | _Type-Safe Pointers in ATS_ - | https://news.ycombinator.com/item?id=22726512 - March 2020 (8 | comments) | | _The ATS Programming Language_ - | https://news.ycombinator.com/item?id=19404347 - March 2019 (38 | comments) | | _Casting in ATS_ - https://news.ycombinator.com/item?id=16058803 | - Jan 2018 (12 comments) | | _The ATS Programming Language - Unleashing the Potentials of | Types and Templates_ - | https://news.ycombinator.com/item?id=10570444 - Nov 2015 (9 | comments) | | _ATS: a dependently-typed systems programming language?_ - | https://news.ycombinator.com/item?id=3340010 - Dec 2011 (5 | comments) | | _Sharing Linear Resources in ATS_ - | https://news.ycombinator.com/item?id=2487512 - April 2011 (1 | comment) | | _Safer C Code Using ATS_ - | https://news.ycombinator.com/item?id=1397984 - June 2010 (2 | comments) | | _ATS - Applied Type System Programming Language_ - | https://news.ycombinator.com/item?id=1357229 - May 2010 (3 | comments) | | _ATS programming language_ - | https://news.ycombinator.com/item?id=449453 - Jan 2009 (1 | comment) | lolski wrote: | these are interesting. thanks. | lolski wrote: | the website looks like it was made in the 90s however don't let | that fool you | lolski wrote: | and the fact that it's hosted in sourceforge | yamazakiwi wrote: | I thought this was going to be some sort of scripting language | for Applicant Tracking Systems ___________________________________________________________________ (page generated 2021-08-17 23:00 UTC)