типов) для компилятора/интерпретатора?
Ищу что-нибудь в стиле "Writing an interpreter in go", в образовательных целях.
https://link.springer.com/book/10.1007/978-0-85729-076-2
https://github.com/sdiehl/write-you-a-haskell/blob/master/006_hindley_milner.md
https://www.cs.princeton.edu/~appel/modern/
Обсуждают сегодня