millet
type-inferencer
| millet | type-inferencer | |
|---|---|---|
| 6 | 1 | |
| 194 | 49 | |
| - | - | |
| 9.5 | 4.0 | |
| 9 days ago | 11 months ago | |
| Rust | Rust | |
| Apache 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.
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
type-inferencer
What are some alternatives?
vscli - A CLI/TUI which makes it easy to launch vscode projects, with a focus on dev containers.
hm-infer-rs - Hindley-Milner type inference for Scheme, in Rust
1ml - 1ML prototype interpreter
rust - Empowering everyone to build reliable and efficient software.
fling - A fluent API generator
tauri - Build smaller, faster, and more secure desktop applications with a web frontend.
mpl - The MaPLe compiler for efficient and scalable parallel functional programming
deno - A modern runtime for JavaScript and TypeScript.
flunct - A functional fluent API generator
mlton - The MLton repository
flix - The Flix Programming Language
Fable: F# |> BABEL - F# to JavaScript, TypeScript, Python, Rust and Dart Compiler