[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)