📚Книга "Типы в языках программирования"
✍️Автор Бенджамин Пирс

#книга

Система типов, которая в том или ином виде присутствует в каждом языке программирования - это метод доказательства корректности программ. На протяжении книги автор введет вас в основные понятия системы типов и вместе с вами напишет собственный язык программирования, основанный на четкой математической базе. Книга позволит вам получить понимание, почему языки программирования используют разные подходы к построению системы типов, чем это хорошо и чем плохо.

Личное мнение: Многое в книге и правда оказалось ОЧЕНЬ интересным! Понятие системы типов теперь для меня не пустой звук. Но давно я не встречал книги с такими требованиями к математической базе читателя. Институт окончен уже давно, поэтому приходилось постоянно возвращаться к матанализу, матлогике и другим сферам знаний, перечитывать их, пытаться воскресить знания в памяти👨‍🎓, нередко безуспешно 🙊. Не читайте книгу полностью, об этом говорит и сам автор, рассматривайте те главы, которые нужны и интересны конкретно вам.

Для меня причиной покупки стала глава про Экзистенциальные типы, очень хотелось глубже понять, что это за зверь и зачем нам слово any в новом свифте. Оказалось, что в качестве подготовки перед этой главой нужно изучить еще шесть)) и началось веселье.