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

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

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: t.me/podlodka
Telegram-канал: t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: twitter.com/PodlodkaPodcast

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