ariadne
tao
Our great sponsors
ariadne | tao | |
---|---|---|
18 | 11 | |
1,533 | 1,059 | |
- | - | |
6.4 | 7.7 | |
16 days ago | 6 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.
ariadne
-
What languages have the best error message rendering styles in the terminal?
To complement, Nushell's error rendering is done with miette (whose name is a reference to this cute meme AFAIK). There is also another notable Rust error rendering lib: ariadne. So you can get the same beautiful error rendering in your own projects :D
-
COBOL deserves modern, easy to read error messages as well! | Otterkit COBOL
Because of that, we made a new modern error message system for Otterkit, which should still display useful information to experienced developers, while also being easy to read and understand for new developers. This new format was inspired by Rust's error messages, and both the Errata NuGet package and Ariadne Rust crate.
- Is there a tool to emulate rust compiler error stlye code explanations?
- Why does Rust have parameters on impl?
-
Tools for creating a programming language in rust
i really like chumsky for parsing (and it works very well with it's sister crate ariadne)
-
Small changes you can make in a rust codebase that have a significant impact
I've also been looking into https://github.com/zesterer/ariadne as I'm building a static compiler using Jinja and want to return nicer messages when there is a parsing issue.
-
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!
-
When is necessary to preserve whitespaces/comments directly in a concrete syntax tree?
The major thing I'm going to do is support nicer error messages like in https://github.com/zesterer/ariadne. Then add support for language server (LSP) and shoe them interactively on editors.
-
Tyty: A TypeScript type checker written in Rust
Yes, and the fanciness part is done by another crate actually: https://github.com/zesterer/ariadne.
-
Introducing Proggers! A simple toy programming language/static analyzer/compiler
Proggers features a fully-fledged type-checker with beautiful error messages thanks to ariadne! As an example, analyzing this Progge source returns below error:
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!
-
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
-
Chumsky, a parser combinator crate that makes writing error-tolerant parsers with recovery easy and fun!
Additionally, I just pushed some recent work on my own language, Tao, which uses Chumsky. Hopefully some nice proof that it's a viable API for parsing non-trivial syntax.
What are some alternatives?
strawberry - A GraphQL library for Python that leverages type annotations 🍓
redis-rs - Redis library for rust
statix - lints and suggestions for the nix programming language
chumsky - Write expressive, high-performance parsers with ease.
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
pom - PEG parser combinators using operator overloading without macros.
lalrpop - LR(1) parser generator for Rust
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]
mlton - The MLton repository
bril - an educational compiler intermediate representation
progge.rs - Program analysis playground for a simple, imperative language