文件列表:

Makefile (467, 2021-11-21)
chunk.c (2787, 2021-11-21)
hm3.h (3311, 2021-11-21)
main.c (336, 2021-11-21)
number.c (3755, 2021-11-21)
vm.c (2581, 2021-11-21)

# hm3 A *vapourware* minimalist statically typed 'glue language' that can be embedded in C/C++/Rust projects. The implementation aims to capture the essence of the [lua](https://www.lua.org) and [janet](https://janet-lang.org) runtimes and combine it with a language that is inspired by [standard ML](https://en.wikipedia.org/wiki/Standard_ML). The project is for fun and learning, though help is wanted if you are able. The project name is just a placeholder for now. ## Planned Features - Distributable as a single C file (like the sqlite3 amalgamation). - Easy to extend from C/C++. - Easy to embed in C/C++ programs. - Portable with a small footprint. - Interactive repl. - Type inference. - Compile time code execution. - Distribute statically linked programs (Bundled VM + bytecode + extensions). - Deterministic freeing of resources (like python). - Safe to run untrusted code in a sandbox. ## Ideas to explore - Structural sub typing. - Ergonomic and alterative ways to deal with error values. ## Learning Resources - A guide for implementing interpreters - [Crafting interpreters book](https://craftinginterpreters.com/) - Guide on unification for the type system - [Eli Bendersky blog on unification](https://eli.thegreenplace.net/2018/unification/) - A more efficient unification algorithm - [Yet Another Efficient Unification Algorithm](https://arxiv.org/pdf/cs/0603080.pdf) - Guide on type inference - [Eli Bendersky blog on type inference](https://eli.thegreenplace.net/2018/type-inference/) - Reference counting with cycle detection by trial deletion - [Unified theory of garbage collection section 5.3](https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.439.1202&rep=rep1&type=pdf)

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：