Знали ли вы, что есть люди, которые сейчас исследуют и изобретают то, что через 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