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

Uploaded By: Myvideo

Published on

26 Sep 2023

2 views

0

0 votes

0

About Share Download Add to

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

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VkF2QytWS1VGZFFUaXA0bGtUMW80V2dCTFR6d0tUcy8wcmNrL0ZybnByMD0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Осада Севастополя. Ход Крымской войны в октябре 1854 - августе 1855 годов / Борис Кипнис / №131

3 months ago

01:29:46

Осада Севастополя. Ход Крымской войны в октябре 1854 - августе 1855 годов / Борис Кипнис / №131

1 38%

Вступление в Крымскую войну союзников Турции. События осени 1853 - лета 1854 гг. / Кипнис / №129

3 months ago

01:39:05

Вступление в Крымскую войну союзников Турции. События осени 1853 - лета 1854 гг. / Кипнис / №129

1 53%

Русь в начале X века. Правление Олега и Игоря / лектор - Борис Кипнис / №5

4 months ago

01:44:52

Русь в начале X века. Правление Олега и Игоря / лектор - Борис Кипнис / №5

4 56%

Предпосылки появления древнерусской государственности в VII - IX вв. / лектор - Борис Кипнис / №3

4 months ago

01:58:58

Предпосылки появления древнерусской государственности в VII - IX вв. / лектор - Борис Кипнис / №3

8 88%

Общество древних славян в III-VII вв./лектор Борис Кипнис / №2

4 months ago

01:50:19

Общество древних славян в III-VII вв./лектор Борис Кипнис / №2

13 90%

Павел I: правление и реформы 1796 - 1801 гг. / лектор - Борис Кипнис / №84

4 months ago

01:57:15

Павел I: правление и реформы 1796 - 1801 гг. / лектор - Борис Кипнис / №84

1 79%

Кровная месть - новое в отношениях высших государственных служащих РФ

4 months ago

00:05:33

Кровная месть - новое в отношениях высших государственных служащих РФ

1 10%

Русская православная церковь в XIV веке. Концепция Сергия Радонежского / лектор - Борис Кипнис / №22

4 months ago

01:43:17

Русская православная церковь в XIV веке. Концепция Сергия Радонежского / лектор - Борис Кипнис / №22

1 64%

Введение всеобщей воинской повинности в 1874 году. Внешняя политика в 1856 - 1864 гг. / Кипнис /№142

5 months ago

01:40:39

Введение всеобщей воинской повинности в 1874 году. Внешняя политика в 1856 - 1864 гг. / Кипнис /№142

1 72%

Экономика России в 1861 - 1877 гг. Обстановка в мире в 1852 - 1864 гг. / Борис Кипнис / №143

5 months ago

01:31:36

Экономика России в 1861 - 1877 гг. Обстановка в мире в 1852 - 1864 гг. / Борис Кипнис / №143

6 11%

Срок для принятия наследства #shorts

6 months ago

00:00:46

Срок для принятия наследства #shorts

1 9%

О ТЕРАПЕВТИЧЕСКОЙ ГРУППЕ. Валерий Минасян и Ольга Андросова

6 months ago

00:39:42

О ТЕРАПЕВТИЧЕСКОЙ ГРУППЕ. Валерий Минасян и Ольга Андросова

1 48%

Шавкат Мирзиёев призвал безотлагательно начать мирный процесс по Газе

6 months ago

00:25:27

Шавкат Мирзиёев призвал безотлагательно начать мирный процесс по Газе

1 54%

Сражения Александра Невского: Невская битва и Ледовое побоище/ лектор - Борис Кипнис /№19

6 months ago

02:01:41

Сражения Александра Невского: Невская битва и Ледовое побоище/ лектор - Борис Кипнис /№19

6 15%

Катастрофическое землетрясение 1692 года превратило Порт-Ройял в подводные Помпеи

7 months ago

00:19:55

Катастрофическое землетрясение 1692 года превратило Порт-Ройял в подводные Помпеи

1 48%

Куликовская битва 1380 года: подготовка и ход сражения / лектор - Борис Кипнис / №25

7 months ago

01:44:30

Куликовская битва 1380 года: подготовка и ход сражения / лектор - Борис Кипнис / №25

8 12%

Hola. Leccion 1. Intoduccion

8 months ago

00:15:01

Hola. Leccion 1. Intoduccion

1 78%

Цифровой рубль

9 months ago

01:03:45

Цифровой рубль

1 84%

1. Что такое ОБРАЗ Системы. Windows.

10 months ago

00:04:14

1. Что такое ОБРАЗ Системы. Windows.

1 69%

Алексей Семихатов о курсе Квантовая механика для (почти) всех

10 months ago

00:01:31

Алексей Семихатов о курсе Квантовая механика для (почти) всех

3 45%

Вторая русско-турецкая война 1787 - 1791 гг. Русско-шведская войн 1788 -1790 гг./ Борис Кипнис / №80

10 months ago

02:34:54

Вторая русско-турецкая война 1787 - 1791 гг. Русско-шведская войн 1788 -1790 гг./ Борис Кипнис / №80

1 43%

Неофициальные порты и демейки игр Valve: Sega, Nintendo 64, Компьютер

10 months ago

00:11:42

Неофициальные порты и демейки игр Valve: Sega, Nintendo 64, Компьютер

17 32%

Предыстория славянских народов / лектор Борис Кипнис / №1

11 months ago

01:39:18

Предыстория славянских народов / лектор Борис Кипнис / №1

1 69%

Встреча с депутатами Госдумы 12 марта 2024, присоединяйтесь!

11 months ago

00:03:19

Встреча с депутатами Госдумы 12 марта 2024, присоединяйтесь!

1 24%

0 Comments

Guest