hindley-milner
langs
| hindley-milner | langs | |
|---|---|---|
| 1 | 185 | |
| 1 | 86 | |
| - | - | |
| 10.0 | 9.3 | |
| over 1 year ago | 9 days ago | |
| Rust | C | |
| - | - |
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.
hindley-milner
-
October 2022 monthly "What are you working on?" thread
I'm working on my toy language: https://github.com/differenzkern/hindley-milner So far I've got hindley milner inference with let polymorphism and algebraic data types.
langs
- How does the compiler know that an already typedefed ident is meant to be a new declarator?
- Compiler Case Study
- Making Simple Concepts Hard
- What makes a language easy for writing a parser?
-
Resources to understand mojo and compilers
The code is here. Note that the input filename is hardcoded in the source code.
- Automatic import of C headers —how to deal with macros?
- How does preprocessing work in a one pass compiler?
- 'Table Data' and 'X-Macros'
- Register Window in a Stack VM Interpreter
- My New IL
What are some alternatives?
clauf - A C interpreter developed live on YouTube
prolog-to-minizinc - A Prolog-to-MiniZinc translator
SynthML - A programming language for type-directed program synthesis
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS
sirius - The Sirius programming langauge
vox - Vox language compiler. AOT / JIT / Linker. Zero dependencies
candy - 🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
kcl - KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io
wabt - The WebAssembly Binary Toolkit
boba-core - Core Boba definitions necessary for all Boba pearls and programs to compile
factor - Factor programming language