I've written a type checker or two. My experience: https://lambdaland.org/posts/2022-07-27_how_to_write_a_type_checker/ https://lambdaland.org/posts/2022-07-27_

I've written a type checker or two. My experience: https://lambdaland.org/posts/2022-07-27_how_to_write_a_type_checker/ https://lambdaland.org/posts/2022-07-27_how_to_write_a_type_... I left some links/references to books that helped me out.