#pml

(Eventually) an implementation of Standard ML. Probably without functors.

Resources:

• Types and Programming languages by Pierce
• https://old.reddit.com/r/ocaml/comments/kc0ywv/how_do_i_implement_a_minimal_ml_language/
• https://old.reddit.com/r/ProgrammingLanguages/comments/bm2c4z/an_educational_compiler_for_a_minimal_subset_of/
• https://lobste.rs/s/i3m3a4/how_write_tree_sitter_grammar_afternoon
• https://wiki.alopex.li/QbeNotes
• Elements of Functional Programming by Chris Reade
• Modern Compiler Implementation in ML by Appel
• Practical Foundations for Programming Languages by Bob Harper
• The Definition of Standard ML (Revised) https://smlfamily.github.io/sml97-defn.pdf
• https://www.amazon.com/Compiling-Continuations-Andrew-W-Appel/dp/0521416957/ ?
• https://matklad.github.io/2020/04/13/simple-but-powerful-pratt-parsing.html