Продолжаем серию: интересная книжка/статьи по понедельникам.
Кому интересно знать про программирование, типы в нём, с чем их едят, подтипы, различные виды полиморфизма и автоматический вывод типов. В середине книги смоделировать упрощенную систему типов Java (которая использовалась для формализации языка), а в конце познакомиться с $System F_\omega$. Отличная книга как для полного и подробного прочтения с огромным количеством задач, так и для уточнения и восстановления в памяти пропущенных моментов. Идеально вместе с написанием книги, писать и компилятор для исследуемых моделей, но на это мало у кого хватает времени и сил (у меня не хватило).
https://www.cis.upenn.edu/~bcpierce/tapl/
перевод на русский, так же можно купить в бумажном варианте http://starling.rinet.ru/~goga/tapl/tapl.pdf
Кому интересно знать про программирование, типы в нём, с чем их едят, подтипы, различные виды полиморфизма и автоматический вывод типов. В середине книги смоделировать упрощенную систему типов Java (которая использовалась для формализации языка), а в конце познакомиться с $System F_\omega$. Отличная книга как для полного и подробного прочтения с огромным количеством задач, так и для уточнения и восстановления в памяти пропущенных моментов. Идеально вместе с написанием книги, писать и компилятор для исследуемых моделей, но на это мало у кого хватает времени и сил (у меня не хватило).
https://www.cis.upenn.edu/~bcpierce/tapl/
перевод на русский, так же можно купить в бумажном варианте http://starling.rinet.ru/~goga/tapl/tapl.pdf
We continue the series: an interesting book / articles on Mondays.
Who cares to know about programming, the types in it, what they eat with, subtypes, various types of polymorphism, and automatic type inference. In the middle of the book, simulate a simplified Java type system (which was used to formalize the language), and in the end get acquainted with $ System F_ \ omega $. An excellent book both for a complete and detailed reading with a huge number of tasks, and for clarifying and restoring missed moments in memory. Ideally, along with writing a book, writing and a compiler for the models under study, but few people have enough time and effort (I didn’t have enough).
https://www.cis.upenn.edu/~bcpierce/tapl/
translation into Russian, you can also buy in paper version http://starling.rinet.ru/~goga/tapl/tapl.pdf
Who cares to know about programming, the types in it, what they eat with, subtypes, various types of polymorphism, and automatic type inference. In the middle of the book, simulate a simplified Java type system (which was used to formalize the language), and in the end get acquainted with $ System F_ \ omega $. An excellent book both for a complete and detailed reading with a huge number of tasks, and for clarifying and restoring missed moments in memory. Ideally, along with writing a book, writing and a compiler for the models under study, but few people have enough time and effort (I didn’t have enough).
https://www.cis.upenn.edu/~bcpierce/tapl/
translation into Russian, you can also buy in paper version http://starling.rinet.ru/~goga/tapl/tapl.pdf
У записи 3 лайков,
0 репостов,
75 просмотров.
0 репостов,
75 просмотров.
Эту запись оставил(а) на своей стене Alexander Vershilov
