Неформальное введение в теорию типов, Максим Кольцов / PiterPy Meetup #21

Подробнее о конференции PiterPy: https://jrg.su/QZ6wK1
— Ближайшая конференция: PiterPy 2023 — 6–7 ноября (Online), 13–14 ноября (Санкт-Петербург, Offline) Подробности: https://cutt.ly/7wrLeRCf
— — PiterPy Meetup — 21 апреля 2020 Краткое введение в теорию типов, с примером типизации маленького подмножества питона, объяснением записи правил типизации для него и написанием простенького тайпчекера. Слайды: https://slides.com/maximkoltsov/type-...