Hacker News
- The ATS Programming Language http://www.ats-lang.org/ 36 comments
- The ATS Programming Language http://www.ats-lang.org 38 comments
- The ATS Programming Language – Unleashing the Potentials of Types and Templates http://www.ats-lang.org 9 comments
- ATS: a dependently-typed systems programming language? http://www.ats-lang.org/ 5 comments
- Do dependent type systems subsume linear type systems? http://www.ats-lang.org/ 22 comments haskell
- ATS is a PL whose compiler guarantees there are no accesses to uninitialized memory etc. at compile time. Could this be used for systems programming? http://www.ats-lang.org/index.html 58 comments programming
- ATS is currently on top of the Debian language shootout for quadcore machines. Does anyone know the language? Is it any good? http://www.ats-lang.org/? 4 comments programming
- ATS - dependently typed programming http://www.ats-lang.org/ 3 comments programming
Linking pages
- Replacing Python: candidates - Thomas Leonard's blog http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/ 319 comments
- GitHub - dbohdan/compilers-targeting-c: A list of compilers that can generate C code https://github.com/dbohdan/compilers-targeting-c 36 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- Infrequent, Pragmatic, Lambda Blog - Let's agree to be different. On empirical and deductive nature of coding. https://rpeszek.github.io/posts/2022-11-07-empirical-programming.html 28 comments
- Session types in programming languages---a collection of implementations. | Simon Fowler http://simonjf.com/2016/05/28/session-type-implementations.html 9 comments
- GitHub - adamgundry/inch: A type-checker for Haskell with integer constraints https://github.com/adamgundry/inch 6 comments
- GitHub - deech/LeftPad https://github.com/deech/LeftPad 2 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- A Minimal OS X kext Written (Partly) in Rust – Phil Jordan http://philjordan.eu/article/a-minimal-osx-kext-written-in-rust 0 comments
- GitHub - xlq/aos: Applied operating system - an operating system kernel written in the ATS programming language. https://github.com/xlq/aos 0 comments
- Software complexity and degrees of freedom | thesephist.com https://thesephist.com/posts/dof/ 0 comments
- GitHub - makenowjust/quine: Quine Museum https://github.com/MakeNowJust/quine 0 comments
- GitHub - githwxi/ATS-Postiats: ATS2: Unleashing the Potentials of Types and Templates https://github.com/githwxi/ATS-Postiats 0 comments
- wuffs/related-work.md at main · google/wuffs · GitHub https://github.com/google/wuffs/blob/main/doc/related-work.md 0 comments