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

Знали ли вы, что есть люди, которые сейчас исследуют и изобретают то, что через 20-25 лет превратится в хайповые фичи очередных модных и современных языков программирования? Мы попытались разобраться в том, почему так происходит, и поговорили про теорию языков программирования. Тема эта настолько нас заинтересовала, что мы без зазрения совести снова позвали в гости Виталия Брагилевского, ныне сотрудника JetBrains. Поддержи лучший подкаст про мобильную разработку: patreon.com/podlodka Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! Telegram-чат: t.me/podlodka Telegram-канал: t.me/podlodkanews Страница в Facebook: facebook.com/podlodkacast/ Twitter-аккаунт: twitter.com/PodlodkaPodcast Полезные ссылки: – Довек, Леви. Введение в теорию языков программирования dmkpress.com/catalog/computer/programming/978-5-94074-913-4/ – Пирс. Типы в языках программирования newstar.rinet.ru/~goga/tapl/ – Harper, Practical Foundations of Programming Languages cs.cmu.edu/~rwh/pfpl/2nded.pdf – Sigplan Awards sigplan.org/Awards/ – Конференции по ЯП: sigplan.org/Conferences/ – Свежие статьи по PL: arxiv.org/list/cs.PL/recent