Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.

Политика конфиденциальности | Согласие на обработку персональных данных

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

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

Смотрите также