Podlodka #119: Теория языков программирования

Новости

Podlodka #119: Теория языков программирования

Знали ли вы, что есть люди, которые сейчас исследуют и изобретают то, что через 20-25 лет превратится в хайповые фичи очередных модных и современных языков программирования? Мы попытались разобраться в том, почему так происходит, и
поговорили про теорию языков программирования. Тема эта настолько нас заинтересовала, что мы без зазрения совести снова позвали в гости Виталия Брагилевского, ныне сотрудника JetBrains.

Полезные ссылки:
– Довек, Леви. Введение в теорию языков программирования
dmkpress.com/catalog/computer/p…978-5-94074-913-4/
– Пирс. Типы в языках программирования newstar.rinet.ru/~goga/tapl/
– Harper, Practical Foundations of Programming Languages
www.cs.cmu.edu/~rwh/pfpl/2nded.pdf
– Sigplan Awards www.sigplan.org/Awards/
– Конференции по ЯП: www.sigplan.org/Conferences/
– Свежие статьи по PL: arxiv.org/list/cs.PL/recent

Комментарии

Сообщить об опечатке

Текст, который будет отправлен нашим редакторам: