bril
an educational compiler intermediate representation (by sampsyo)
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)
Our great sponsors
bril | tao | |
---|---|---|
3 | 11 | |
458 | 1,068 | |
- | - | |
9.0 | 7.7 | |
23 days ago | 7 months ago | |
Rust | Rust | |
MIT License | Mozilla Public License 2.0 |
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.
bril
Posts with mentions or reviews of bril.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Bril: A Compiler Intermediate Representation for Learning
Seems to be part of this course, and an implementation is here.
-
Easy intermediate codes that have an interpreter
Cornell has Bril IR which they use for their compilers course. It comes with a bunch of tools, including an interpreter.
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
What are some alternatives?
When comparing bril and tao you can also consider the following projects:
sml-compiler - A compiler for Standard ML, somewhat
statix - lints and suggestions for the nix programming language