millet
hm-infer-rs
| millet | hm-infer-rs | |
|---|---|---|
| 6 | 1 | |
| 194 | 4 | |
| - | - | |
| 9.5 | 10.0 | |
| 9 days ago | about 2 years ago | |
| Rust | Rust | |
| Apache License 2.0 | 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.
millet
-
Four Lectures on Standard ML (1989) [pdf]
SML pops up now and again on HN, which is always nice to see. I wrote a language server for SML in an attempt to improve the tooling situation around the language: https://azdavis.net/posts/millet/
The main motivator for why I did this is because we use SML as a teaching language at my university and students always seem to struggle with the error messages and tooling from the compiler.
-
Flunct: Well-typed, fluent APIs in SML
For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/
- Programming in Standard ML [pdf]
-
Comparing Objective Caml and Standard ML
I've been using SML with millet language server and VScode.
you can highlight your code and run just the highlighted bits, in your REPL.
https://github.com/azdavis/millet
- Show r/rust: Wrote a toy type inferencer by implementing Hindley-Milner algorithm
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.
What are some alternatives?
vscli - A CLI/TUI which makes it easy to launch vscode projects, with a focus on dev containers.
type-inferencer - hindley-milner algorithm
1ml - 1ML prototype interpreter
opentau - Using Large Language Models for Gradual Type Inference
fling - A fluent API generator
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
rust-analyzer - A Rust compiler front-end for IDEs
mpl - The MaPLe compiler for efficient and scalable parallel functional programming
flunct - A functional fluent API generator
mlton - The MLton repository
flix - The Flix Programming Language