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