Toy ML like language implementation using Rust

Features

• polymorphic type inference

compile Phases

• Tokenize
• Parse
• (Not needed) Elaboration
• Type Inference
• Alpha Conversion
• (Optional) Pritty Printer Gen(not yet)(planned)
• Closure Conversion(App for real closure )(call for non real closure)
• KNormalize
• ANormalize (not yet)(planed)
• Pointer Operations (not yet)(planed)
• Machine CodeGen (not yet)(planed)
• Wasm LLVM Gen (not yet )(planed)

See also

• コンパイラ ー 原理と構造 大堀　淳（2021年9月）共立出版 ISBN 9784320124783
• CoreML implementation in SML#
• SML# project
• MinCaml
• My CoreML to Wasm Compiler