A series of notes on a language under development
Tuesday, June 9, 2015
After the initial identification phase the next step is semantical analysis. A major part of semantical analysis is kind and type checking, which relies on unification and substitution.
Implementing substitution primitives.
Post a Comment
Post Comments (Atom)