For those looking for a more straightforward approach to type systems, here are two resources I like: 1: Terence Parr's chapter "Enforcing Static Typing Rules"

For those looking for a more straightforward approach to type systems, here are two resources I like: 1: Terence Parr's chapter "Enforcing Static Typing Rules" from Language Design Patterns. 2: Eli Bendersky's Python implementation of Hindley-Milner type inference. -- 1: https://pragprog.com/titles/tpdsl/language-implementation-patterns/ https://pragprog.com/titles/tpdsl/language-implementation-pa... 2: https://eli.thegreenplace.net/2018/type-inference/ https://eli.thegreenplace.net/2018/type-inference/