penne
tao
penne | tao | |
---|---|---|
7 | 11 | |
42 | 1,068 | |
- | - | |
7.3 | 7.7 | |
18 days ago | 8 months ago | |
Rust | Rust | |
MIT License | Mozilla Public License 2.0 |
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.
penne
-
What backwards-incompatible changes would you make in a hypothetical Rust 2.0?
There are basically two options: - the (Scopes)[http://scopes.rocks] reference logic - the (Penne)[https://github.com/SLiV9/penne] reference logic
-
Introducing: "goto"
I'm not sure if I first read that article before or after starting Penne (https://github.com/SLiV9/penne), but my main motiviation for the language was definitely a response to the ubiquitous "goto considered harmful" mentality, and wanting to see if goto could be redeemed. And for an alt-history language I think Penne makes use of goto pretty well.
-
'#[must_use]' not being the default on functions goes against "Rust has the safest defaults" principle
Excellent suggestion. I've taken my small compiler project, where I don't usually run clippy, and tallied my findings:
-
Which phases/stages does your programming language use?
My Penne compiler has a lexer that turns source code into tokens and a recursive descent parser that produces a list of "common AST" declarations.
-
Do people hand write predictive parsers?
Here's the source code if you're interested: https://github.com/SLiV9/penne/blob/main/src/parser.rs
- Introducing Penne (v0.2.1), a pasta-oriented programming language that favors the goto-statement for flow control
- How to compile my language for LLVM?
tao
-
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?
turbo.fish - ::<> ⠀ https://turbo.fish/ ⠀ <>::
statix - lints and suggestions for the nix programming language
ligmascript - LIGMAScript (the bestest programming language ever) compiler and interpreter
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
pom - PEG parser combinators using operator overloading without macros.
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]
chumsky - Write expressive, high-performance parsers with ease.
bril - an educational compiler intermediate representation
lalrpop - LR(1) parser generator for Rust
nom - Rust parser combinator framework
redis-rs - Redis library for rust