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

 

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