sml-compiler
smlpkg
sml-compiler | smlpkg | |
---|---|---|
9 | 4 | |
198 | 158 | |
1.0% | 0.6% | |
0.0 | 3.9 | |
about 2 years ago | 7 months ago | |
Rust | Standard ML | |
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.
sml-compiler
-
Millet, a Language Server for SML
This is awesome, I will be installing and trying out later today!
I was working on a SML compiler [1] and language server in Rust as well, but I dropped the ball towards the end of 2020 as I had a PhD to finish!
SML is a great language, and I think some better tooling (like a language server) is all that it really needs to be useful.
[1] https://github.com/SomewhatML/sml-compiler
-
Hacker News top posts: Sep 9, 2021
A Compiler for Standard ML in Rust\ (31 comments)
-
A Compiler for Standard ML in Rust
It looks like this project is using typed arenas a fair bit - https://github.com/SomewhatML/sml-compiler/blob/master/crate...
I don't know the details of how this is being used in the project, but it might be worth investigating.
- A compiler for Standard ML written in Rust
- SomewhatML/sml-compiler: A compiler for Standard ML, somewhat
-
Alternative to Write you a Haskell in 2021
I went down a similar path to you - I worked my way through all of TAPL and then immediately wanted to try my hand at compiling all the way down to assembly. I started on a Standard ML compiler, but the real world has gotten in the way and I haven't finished it (trying to wrap up my PhD in a non-CS field).
smlpkg
-
A good dependency manager for a new programming language?
They don't matter, since the package manager is entirely concerned with files. The Futhark package manager was actually ported to SML in the form of smlpkg. How those files are made available to the compiler is not the problem of the package manager. In SML's case, it's done with MLB files (which are part of the packages).
- Millet, a Language Server for SML
-
Standard ML [PLDI 2021]
University Of Copenhagen who previously used SML for introductory programming courses (Now uses F#) have made a package manager for SML modules with MLB files: https://github.com/diku-dk/smlpkg
-
How should I build a package manager?
I wrote a package manager that sounds similar to what you are proposing. An important design criteria was that it was easy to understand and simple to implement, even at the cost of some clumsiness in use. I wrote about the design before and after I implemented it. It is based on a cut-down version of Go's package manager, and has itself served as the basis for a package manager for SML.
What are some alternatives?
bril - an educational compiler intermediate representation
mlkit - Standard ML Compiler and Toolkit
smlfmt - A custom parser/auto-formatter for Standard ML
LunarML - The Standard ML compiler that produces Lua/JavaScript
mulligan - A stepping debugger for Standard ML (SML)
cakeml - CakeML: A Verified Implementation of ML
molasses - MLB support for CM (the SML/NJ Compilation and Library Manager)
smackage - Smackage Package Manager for Standard ML
advisories
simple-ismlnj - SML/NJ simple kernel for Jupyter/IPython Notebook