Неформальное введение в теорию типов, Максим Кольцов / PiterPy Meetup #21
Ближайшая конференция:
PiterPy 2023 — 6–7 ноября (Online), 13–14 ноября (Санкт-Петербург, Offline)
Подробности:
— —
PiterPy Meetup — 21 апреля 2020
Краткое введение в теорию типов, с примером типизации маленького подмножества питона, объяснением записи правил типизации для него и написанием простенького тайпчекера.
Слайды: #/
2 views
948
240
4 weeks ago 01:03:45 1
Цифровой рубль
2 months ago 00:04:14 1
1. Что такое ОБРАЗ Системы. Windows.
2 months ago 00:01:31 2
Алексей Семихатов о курсе “Квантовая механика для (почти) всех“
2 months ago 02:34:54 1
Вторая русско-турецкая война 1787 - 1791 гг. Русско-шведская войн 1788 -1790 гг./ Борис Кипнис / №80
2 months ago 00:11:42 17
Неофициальные порты и демейки игр Valve: Sega, Nintendo 64, Компьютер
3 months ago 01:39:18 1
Предыстория славянских народов / лектор Борис Кипнис / №1
3 months ago 00:03:19 1
Встреча с депутатами Госдумы 12 марта 2024, присоединяйтесь!
3 months ago 01:43:17 1
Русская православная церковь в XIV веке. Концепция Сергия Радонежского / лектор - Борис Кипнис / №22
4 months ago 00:53:29 1
Видеокурс “Профориентирование методом астропсихологии“. ФРАГМЕНТЫ.
4 months ago 00:19:55 2
Катастрофическое землетрясение 1692 года превратило Порт-Ройял в подводные Помпеи
4 months ago 01:31:59 1
Крещение Руси: процесс и последствия / лектор - Борис Кипнис / №9
4 months ago 01:39:33 1
Лжедмитрий I: поход и правление, воцарение Василия Шуйского. Смутное время:1604 - 1606/ Кипнис /№41
4 months ago 01:50:19 1
Общество древних славян в III-VII вв./лектор Борис Кипнис / №2
5 months ago 01:30:33 1
Россия и Франция в 1801 - 1804 гг.: как и почему портились отношения / лектор - Борис Кипнис / №89
5 months ago 00:02:22 1
Веня Дркин - Кошка в окрошке
6 months ago 00:17:02 3
Введение в Систему Шестова: теоретическая часть. Подготовка к мастер-классу.
6 months ago 00:01:39 8
Неофициальный клип игры ⭐ Enlisted
7 months ago 00:40:35 1
Принятие решений. Как работа мозга влияет на результаты в карьере и в жизни?
7 months ago 02:03:24 15
Неформальная история кафедры общей физики - открытая встреча
7 months ago 00:05:04 1
Что в ноябре ждет пенсионеров, должников, покупателей: разбираем пять новых законов
7 months ago 00:05:57 1
Прокуратурой Ростовской области начата проверка по принудительной госпитализации Говоровой С.С.
8 months ago 00:49:07 2
Неформальное введение в теорию типов, Максим Кольцов / PiterPy Meetup #21
8 months ago 01:28:24 4
Глубинное обучение. Введение. Школа анализа данных, Яндекс
8 months ago 01:24:08 1
Обособление украинской и белорусской земель в XIII - XIV вв. / лектор - Борис Кипнис / №27