>В любом случае, если вы хотите узнать о теории типов, купите книгу "Типы и Языки Программирования" от Бенджамина Ф. Пирса. Если вы всё ещё запутались, вы можете развеять все трудности с помощью "Продвинутых Вопросов в Типах и Языках Программирования" от Бенджамина Ф. Пирса. Предположительно, Профессор Пирс сейчас работает над "Дальнейшим Пониманием Типов и Языков Программирования" или "Чрезвычайно Сложными Вопросами в Типах и Языках Программирования".
http://unqualified-reservations.blogspot...

#titnfg

1 comment recommend bookmark subscribe