Comment on The Little Typer (2018)Comments−emmanueloga_1yFor 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/
Comments
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/