5 ms·
The ATS Programming Language
- yamazakiwi 5y agoI thought this was going to be some sort of scripting language for Applicant Tracking Systems
- rtfeldman 5y agoSome entertaining talks introducing the language, by /u/deech: "A Tase Of ATS" at Compose Conf 2019: https://youtu.be/ADN6B1Wk5Ts https://youtu.be/ADN6B1Wk5Ts "A (Not So Gentle) Introduction To Systems Programming In ATS" at Strange Loop 2017: https://youtu.be/zt0OQb1DBko https://youtu.be/zt0OQb1DBko
- henning 5y agoThe end-boss of programming languages.
- dang 5y agoPast related threads: ATS: Why Linear Types Are the Future of Systems Programming - https://news.ycombinator.com/item?id=26191219 https://news.ycombinator.com/item?id=26191219 - Feb 2021 (1 comment) Type-Safe Pointers in ATS - https://news.ycombinator.com/item?id=22726512 https://news.ycombinator.com/item?id=22726512 - March 2020 (8 comments) The ATS Programming Language - https://news.ycombinator.com/item?id=19404347 https://news.ycombinator.com/item?id=19404347 - March 2019 (38 comments) Casting in ATS - https://news.ycombinator.com/item?id=16058803 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 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 https://news.ycombinator.com/item?id=3340010 - Dec 2011 (5 comments) Sharing Linear Resources in ATS - https://news.ycombinator.com/item?id=2487512 https://news.ycombinator.com/item?id=2487512 - April 2011 (1 comment) Safer C Code Using ATS - https://news.ycombinator.com/item?id=1397984 https://news.ycombinator.com/item?id=1397984 - June 2010 (2 comments) ATS - Applied Type System Programming Language - https://news.ycombinator.com/item?id=1357229 https://news.ycombinator.com/item?id=1357229 - May 2010 (3 comments) ATS programming language - https://news.ycombinator.com/item?id=449453 https://news.ycombinator.com/item?id=449453 - Jan 2009 (1 comment)
- lolski 5y agothese are interesting. thanks.
- dan-robertson 5y agoVanessa 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 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.
- lolski 5y agothe website looks like it was made in the 90s however don't let that fool you
- lolski 5y agoand the fact that it's hosted in sourceforge
- riidom 5y agowhen you see "online" written as "on-line"
- dan-robertson 5y agoI often read online as “on the web” and on-line as referring to algorithms that are supposed to incrementally produce their output based on an input stream of unknown length, eg an on-line algorithm for estimating medians.
- riidom 5y agoJust learned about that difference. In terms of an web-based code editor with a result panel, both definitions fit a little bit, I guess.
- hknapp 5y agoThe design oddly makes me take it more seriously.
- galaxyLogic 5y agoThe web-sites I create look much like that, but that is not my goal. I would like to look modern. Can you say what in particular makes it look like 90s? And what could be done to make it look more current?
- tartoran 5y agoLayers and layers of styling, all sorts of frameworks and web trinkets. I like the style of this website, it is simple and not overwhelming. It does look older but old in UI/UX doesn’t mean worse, it could mean better in many ways. However, the left banner overlaps the content and it makes reading the content on my phone nearly impossible so I guess it’s got its flaws.
- doublec 5y agoI have a few ATS related posts, talking about the safety aspects of it https://bluishcoder.co.nz/tags/ats/index.html https://bluishcoder.co.nz/tags/ats/index.html
- jp0d 5y agoDoes anyone use it? I couldn't find a list of businesses who use it.
- treebog 5y agoIt’s on the far bleeding edge as far as languages go, so I doubt any businesses use it. The largest practical ATS program I know of is polyglot: https://github.com/vmchale/polyglot https://github.com/vmchale/polyglot
- jp0d 5y agoThanks man. It's difficult to keep track as I've seen so many new languages on HN. This one seemed like an important one.
- grumpyprole 5y agoRust seems very popular despite also being bleeding edge. I am surprised there isn't more public industry interest in ATS, it looks very principled and well designed.
- chriswarbo 5y agoATS seems like a "Worse is Better" approach to dependent types and linear types. It exposes all of their power at the type level, and the value level allows both ML-style high level programming and C-level bit-banging. That's really useful for Yet to actually use that power, developers are pretty much left to implement everything themselves. The nice thing about Rust's borrow-checking approach is that common patterns can be inferred and checked. Linear types ATS offer the same power, but force developers to jump through more hoops 'manually' (and likewise for dependent types, compared to the fancy inference/proof-search approaches of languages like Idris)
- jp0d 5y agoThanks for the descriptive answer mate. I honestly don't know much about it. But I've read about the LISP family and ML family of languages. There are too many to choose from. I've decided to learn F# and have been going through some tutorials. I'm enjoying it quite a lot. ATS sounds like a good combo of abstraction meets bare metal.
- fulafel 5y agoIs there a recent Rust vs ATS comparison? I found only this reddit thread: https://www.reddit.com/r/rust/comments/73j4p5/a_not_so_gentle_introduction_to_systems/ https://www.reddit.com/r/rust/comments/73j4p5/a_not_so_gentl...
- yewenjie 5y agoI would really recommend a modern look and HTTPS to the website though.