Marisa
12.01.2013 23:43
>В любом случае, если вы хотите узнать о теории типов, купите книгу "Типы и Языки Программирования" от Бенджамина Ф. Пирса. Если вы всё ещё запутались, вы можете развеять все трудности с помощью "Продвинутых Вопросов в Типах и Языках Программирования" от Бенджамина Ф. Пирса. Предположительно, Профессор Пирс сейчас ... more →
1 comment
