Добрый день. Подскажите, где можно почитать про реализацию типизации (и вывод

Question

типов) для компилятора/интерпретатора?
Ищу что-нибудь в стиле "Writing an interpreter in go", в образовательных целях.

0

19.06.2022

12 просмотров

https://github.com/sdiehl/write-you-a-haskell/blob/master/006_hindley_milner.md

0

19.06.2022

https://www.cs.princeton.edu/~appel/modern/

0

19.06.2022

Anton Zavyalov · Accepted Answer

https://link.springer.com/book/10.1007/978-0-85729-076-2

0

19.06.2022