Subtyping - Covariance Null-Pointer Immutable Indirection Memory Safety Statically-Typed - Dynamically-typed Abstract Syntax Tree (AST) Type-Checkers Makefile 🌱 Back to Garden