[emmanueloga_]

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-pa...

2: https://eli.thegreenplace.net/2018/type-inference/