I’m a self-taught web application developer. I made my first website in 1999, but I’ve never had a formal education in Computer Science. I don’t know much about how compilers, transpilers, interpreters, and type checkers work.
I’m originally from The Netherlands, but at the moment I live and work in South Africa.
Any resources for learning more about type systems and checkers would be great. Specifically in the ML/System F/Hindley-Milner/dependent types tradition.