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

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