This book is great, the only thing missing is how to write fully featured type checker. Hard to find a resource on type checking that has the same practical sty

This book is great, the only thing missing is how to write fully featured type checker. Hard to find a resource on type checking that has the same practical style as this book.