molten
ante
molten | ante | |
---|---|---|
2 | 23 | |
52 | 1,843 | |
- | - | |
1.8 | 8.0 | |
about 2 years ago | 13 days ago | |
Rust | Rust | |
GNU General Public License v3.0 only | MIT License |
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.
molten
-
Best practices for AST design in Rust?
I second looking at the rust compiler. It splits various AST elements into a struct and enum, where the enum is a 'Kind' (eg. Expr for struct which contains an ExprKind enum). That allows things like line numbers and other common data to be easily fetched from the struct and variant-specific values can be stored in the enum, which can be pattern matched. I did a similar thing in a compiler I made a while ago here https://github.com/transistorfet/molten/blob/main/src/analysis/hir.rs
-
How good is LLVM in other languages other than C++? (In my case I'm interested in using Rust)
I managed to write an ocaml-like language compiler in Rust using llvm-sys (which uses the LLVM C API) without too much trouble. It may not be the fastest but it's fairly feature cobplete. The code is at https://github.com/transistorfet/molten
ante
- Dada, an Experiement by the Creators of Rust
-
Graydon Hoare: Batten Down Fix Later
Have you had a look at Ante? It looks a lot like a Rust 2.0 with better ergonomics. There are a lot of interesting ideas.
-
Why is there no simple C-like functional programming language?
Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.
- Rust's Ugly Syntax
- Opinions on ante?
- Ante - A safe, easy systems language
- [User study] Interest in a Rust-like garbage-collected programming language?
-
Cell Lang: Why yet another programming language?
In my experience, people believe that programming languages are a solved space, and we should stick with what we have.
It's unfortunate; because languages are very polarized today. I think there's a lot of room for languages that are safe, fast, and most importantly, *easy.* Today's languages are generally two out of three.
Luckily, a lot of languages are exploring that space!
* Vale is blending generational references with regions, to have memory-safe single ownership without garbage collection or a borrow checker. [0]
* Cone is adding a borrow checker on top of GC, RC, single ownership, and even custom user allocators. [1]
* Lobster found a way to add borrow-checker-like static analysis to reference counting. [2]
* HVM is using borrowing and cloning under the hood to make pure functional programming ridiculously fast. [3]
* Ante is using lifetime inference and algebraic effects to make programs faster and more flexible. [4]
* D is adding a borrow checker!
[0] https://verdagon.dev/blog/zero-cost-refs-regions
[1] https://cone.jondgoodwin.com/
[2] https://www.strlen.com/lobster/
[3] https://github.com/Kindelia/HVM
[4] https://antelang.org/
- Ante: A safe, easy, low-level functional language for exploring refinement types, lifetime inference, and other fun features.
-
Not well known programming languages with interesting features?
[Ante](https://antelang.org/): lifetime inference, refinement types, algebraic effects.
What are some alternatives?
gecko - Strongly-typed, general purpose programming language based on Rust
riju - ⚡ Extremely fast online playground for every programming language.
llrl - An experimental Lisp-like programming language
FStar - A Proof-oriented Programming Language
unlisp-llvm - Compiler for a toy Lisp language
verona - Research programming language for concurrent ownership
oktac - okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
blazex - AOT compiled object oriented programming language
rust - Empowering everyone to build reliable and efficient software.
duck-editor - 基于scheme开发的鸭子编辑器
progge.rs - Program analysis playground for a simple, imperative language
azula - A fast, statically typed compiled language