ats-acc
Pretty-print error messages of the ATS Compiler (by sparverius)
polyglot
Tool to count lines of source code. (by vmchale)
Our great sponsors
ats-acc | polyglot | |
---|---|---|
2 | 2 | |
29 | 241 | |
- | - | |
0.0 | 0.0 | |
almost 5 years ago | 3 months ago | |
ATS | ATS | |
- | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ats-acc
Posts with mentions or reviews of ats-acc.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-07.
-
ATS: Why Linear Types are the Future of Systems Programming
ATS isn't for the faint of the heart: it's an ongoing research topic. I don't think anyone would call it a well defined product yet, and I believe that the author doesn't implement proper error pretty printing for that reason - though someone implemented {a tool for that purpose](https://github.com/sparverius/ats-acc).
-
ATS Programming
In case you're looking to explore, please, for the sake of your sanity, use this as a wrapper compiler - https://github.com/sparverius/ats-acc. It will make reading the error messages quite bearable. Also, the Google groups (https://groups.google.com/forum/#!forum/ats-lang-users) is quite active.
polyglot
Posts with mentions or reviews of polyglot.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-08-17.
-
The ATS Programming Language
It’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
-
ATS Programming
I have not programmed in it myself, but I have read about it and watched the presentation A (Not So Gentle) Introduction To Systems Programming In ATS. ATS is a lot closer to C than Haskell or Idris, at least for the kind of programming it is meant for. You can see ATS as a language that allows you to safely do the things you'd normally do in unsafe C (or Rust), by letting you provide an actual proof that what you're doing is OK. I don't think anyone has ever said ATS is particularly pleasant to program in, but there are some crazy people like Vanessa McHale that actually write real programs in it. I still use her polyglot tool for source code listings. It's the only "real world" ATS program I have seen.
What are some alternatives?
When comparing ats-acc and polyglot you can also consider the following projects:
learnxinyminutes-docs - Code documentation written as code! How novel and totally my idea!
ATS-Postiats - ATS2: Unleashing the Potentials of Types and Templates