hm-infer-rs
gluon
| hm-infer-rs | gluon | |
|---|---|---|
| 1 | 14 | |
| 4 | 3,121 | |
| - | 0.9% | |
| 10.0 | 7.6 | |
| about 2 years ago | 3 months ago | |
| Rust | Rust | |
| MIT License | 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.
hm-infer-rs
-
Show r/rust: Wrote a toy type inferencer by implementing Hindley-Milner algorithm
I worked on a similar project a few months ago, I implemented HM inference for a Lisp-like language in Scheme, then ported it to C# and Rust to see how it would look.
gluon
- Gluon is a static, type inferred and embeddabble language written in Rust
-
Embeddable Scripting Language for Embedded Rust
A colleague of mine used https://github.com/gluon-lang/gluon with great success in our rust projects. Although it probably can't run in a no_std environment.
-
loxcraft: a compiler, language server, and online playground for the Lox programming language
Aside from these, if you want some inspiration for a production-grade language built in Rust, you might want to go through the source code of Starlark and Gluon.
-
Modules and Imports
Some languages, like Zig and Gluon have an import expression, where the imported symbols are under a local constant's name. Gluon then also supports destructuring, and Zig has had multiple proposals for years about it, none of which are canon. That is, code like this:
- Gluon: A New Node.js Framework to Create Desktop Apps
- Rock v0.2.1, a little native toy language I've made with Rust and LLVM.
- Gluon: A static, type inferred and embeddable language written in Rust
-
Fornjot – The world needs another CAD program
This should be a good use-case for rust-based scripting languages, I think.
I loosely followed a project of that kind a while ago, I don't quite remember if it was Gluon [0] or Dyon [1]. Not sure if these are still active, or if another competitor showed up in meantime.
___
[0] https://github.com/gluon-lang/gluon
[1] https://github.com/PistonDevelopers/dyon
-
Dynamic language extensions for Rust?
Or if you wanted something more Rust-native, you could try Gluon.
-
Which scripting languages work well embedded with Rust?
Gluon
What are some alternatives?
type-inferencer - hindley-milner algorithm
toolkit-rust
opentau - Using Large Language Models for Gradual Type Inference
Rhai - Rhai - An embedded scripting language for Rust.
vonuvoli-scheme - vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) with performance and safety in mind
protect-endpoints - Authorization extension for popular web-frameworks to protect your endpoints
rust-analyzer - A Rust compiler front-end for IDEs
duckscript - Simple, extendable and embeddable scripting language.
mun - Source code for the Mun language and runtime.
rune - An embeddable dynamic programming language for Rust.
pen - The parallel, concurrent, and functional programming language for scalable software development
hlua - Rust library to interface with Lua