tao
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc. (by zesterer)
statix
lints and suggestions for the nix programming language (by nerdypepper)
Our great sponsors
tao | statix | |
---|---|---|
11 | 3 | |
1,068 | 502 | |
- | - | |
7.7 | 4.1 | |
7 months ago | 3 months ago | |
Rust | Rust | |
Mozilla Public License 2.0 | MIT 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.
tao
Posts with mentions or reviews of tao.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-19.
-
What backwards-incompatible changes would you make in a hypothetical Rust 2.0?
If you want some prior work on this, I've implemented effect-objects-as-return-values in my own language Tao, using uniqueness types. There's still work to be done, but I think it's sufficient as a proof of concept that this approach is viable without type soup.
- Why does Rust have parameters on impl?
-
What are Rust’s biggest weaknesses?
I've personally found through my experiments working on my language Tao that having effects be a property of the return value and not the function itself is very useful and opens up a lot of doors, like iterators that generate effectful values and more precise control over when side effects occur and in what context.
-
Hey Rustaceans! Got a question? Ask here! (29/2022)!
If you’d like to see some examples of great error messages written by a language with a parser combinator, I recommend you check out tao, which is parsed via chumsky, and provides rust-like error messages with the help of ariadne! I have been fiddling with writing my own language for a while now, and after trying out the alternatives, I found Chumsky to be great to work with, and can not recommend it enough. There are also great examples that you can find in the repo as well!
- Tao: A statically-typed functional language
- Tao: 一种静态类型的函数式语言 (Tao: A statically-typed functional language)
-
Hacker News top posts: Jul 5, 2022
Tao: A statically-typed functional language\ (0 comments)
-
Write your own programming language in an hour with Chumsky
I've been developing both throughout the development of Tao, my own hobby language. It's since developed quite an extensive syntax (see here for an example: https://github.com/zesterer/tao/blob/master/examples/99.tao), so you can count it as evidence that chumsky scales to complex grammars: https://github.com/zesterer/tao
statix
Posts with mentions or reviews of statix.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-25.
-
Editor support for the nix language?
As others have mentioned, there are a couple of LSP implementations. There's also statix for basic static analysis, as well as a few formatters, including nixpkgs-fmt and alejandra.
-
Chumsky, a parser combinator crate that makes writing error-tolerant parsers with recovery easy and fun!
I use the author's pretty error rendering crate: ariadne, in statix, and it is a delight. Comfy API, loads of customization opts, and very pretty.
- Statix — Lints and Suggestions for the Nix programming language
What are some alternatives?
When comparing tao and statix you can also consider the following projects:
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
git-hooks.nix - Seamless integration of https://pre-commit.com git hooks with Nix.
pom - PEG parser combinators using operator overloading without macros.
rnix-lsp - WIP Language Server for Nix! [maintainer=@aaronjanse]
mlton - The MLton repository
owo - Export your OneNote note collection to Obsidian, Logseq, Org Mode or any other plain text note-taking app! [Moved to: https://github.com/alopezrivera/OneNoteExporter]
ariadne - A fancy diagnostics & error reporting crate
chumsky - Write expressive, high-performance parsers with ease.
bril - an educational compiler intermediate representation
lalrpop - LR(1) parser generator for Rust