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

Поделиться
HTML-код
  • Опубликовано: 12 сен 2024
  • Ближайшая конференция - PiterPy 2024, 18 сентября (online), 26-27 сентября (offline, Санкт-Петербург).
    Подробности и билеты: jrg.su/QZ6wK1
    - Ближайшая конференция:
    PiterPy 2023 - 6-7 ноября (Online), 13-14 ноября (Санкт-Петербург, Offline)
    Подробности: cutt.ly/7wrLeRCf
    - -
    PiterPy Meetup - 21 апреля 2020
    Краткое введение в теорию типов, с примером типизации маленького подмножества питона, объяснением записи правил типизации для него и написанием простенького тайпчекера.
    Слайды: slides.com/max...

Комментарии • 7

  • @irishkalia
    @irishkalia 3 года назад +3

    Изящное введение в теорию типов 👍 .

  • @crazydd0
    @crazydd0 2 года назад +1

    Топовое введение получилось! Было сюрпризом что Pyre на OCaml

  • @JohnLee-bo9ft
    @JohnLee-bo9ft Год назад +2

    У автора талант к изложению материала

  • @anatoliytkachenko1498
    @anatoliytkachenko1498 3 года назад +2

    Like!

  • @nuxs
    @nuxs 3 года назад +4

    29:48 XD

  • @paxpax1707
    @paxpax1707 3 года назад +1

    топ шторы и шкаф

    • @_roket
      @_roket 11 месяцев назад

      топ это строгая типизация, а они у него остались потому, что у него мозг без строгой типизации

Следующие
Автовоспроизведение
[RUS] Alexander Koshkin: "PyPy internal structure is extremely straight forward (nope)"36:27[RUS] Alexander Koshkin: "PyPy internal structure is extremely straight forward (nope)"
[RUS] Alexander Koshkin: "PyPy internal structure is extremely straight forward (nope)"PiterPy
Просмотров 3,6 тыс.
Неожиданный эксперимент! GPT4 объясняет гомотопическую теорию типов. Смотреть до конца // Vital Math22:30Неожиданный эксперимент! GPT4 объясняет гомотопическую теорию типов. Смотреть до конца // Vital Math
Неожиданный эксперимент! GPT4 объясняет гомотопическую теорию типов. Смотреть до конца // Vital MathVital Math
Просмотров 17 тыс.
Роман Михайлов. Размерностью %-)7:26Роман Михайлов. Размерностью %-)
Роман Михайлов. Размерностью %-)Сергей Заломкин
Просмотров 10 тыс.
DRAGON BALL GT CONFIRMED!!!! Super Saiyan 4 Gogeta Trailer SPARKING ZERO Reaction08:47DRAGON BALL GT CONFIRMED!!!! Super Saiyan 4 Gogeta Trailer SPARKING ZERO Reaction
DRAGON BALL GT CONFIRMED!!!! Super Saiyan 4 Gogeta Trailer SPARKING ZERO ReactionRhymestyle
Просмотров 118 тыс.
NEW ELDEN RING UPDATE! Patch 1.14 Nerfs Radahn and Buffs Many Weapons!12:58NEW ELDEN RING UPDATE! Patch 1.14 Nerfs Radahn and Buffs Many Weapons!
NEW ELDEN RING UPDATE! Patch 1.14 Nerfs Radahn and Buffs Many Weapons!Youwy
Просмотров 197 тыс.
James May finally drives the Tesla Cybertruck14:15James May finally drives the Tesla Cybertruck
James May finally drives the Tesla CybertruckJames May’s Planet Gin
Просмотров 1,7 млн
Where have i been?39:21Where have i been?
Where have i been?HeavyDSparks
Просмотров 470 тыс.
Лекция 1 | Нестабильная теория гомотопий | Вася Ионин1:37:24Лекция 1 | Нестабильная теория гомотопий | Вася Ионин
Лекция 1 | Нестабильная теория гомотопий | Вася ИонинHigher geometry
Просмотров 165
Михаил Гельфанд - Типичные задачи биоинформатики46:37Михаил Гельфанд — Типичные задачи биоинформатики
Михаил Гельфанд - Типичные задачи биоинформатикиPiterPy
Просмотров 794
Группы и теория гомотопий (трэш трейлер)2:02Группы и теория гомотопий (трэш трейлер)
Группы и теория гомотопий (трэш трейлер)Лекториум
Просмотров 1 млн
Why should you learn Type Theory?10:08Why should you learn Type Theory?
Why should you learn Type Theory?Dapper Mink
Просмотров 60 тыс.
I. Основания математики: теория множеств vs. теория типов48:35I. Основания математики: теория множеств vs. теория типов
I. Основания математики: теория множеств vs. теория типовuAnalytiCon
Просмотров 8 тыс.
Я 20 лет писал код и вот что я думаю31:01Я 20 лет писал код и вот что я думаю
Я 20 лет писал код и вот что я думаюSergey Nemchinskiy
Просмотров 36 тыс.
Per Martin Löf: How did 'judgement' come to be a term of logic ?1:30:06Per Martin Löf: How did 'judgement' come to be a term of logic ?
Per Martin Löf: How did 'judgement' come to be a term of logic ?Logic and Foundations of Mathematics
Просмотров 10 тыс.
Абдуламин Исмаилов//Введение в теорию типов1:37:26Абдуламин Исмаилов//Введение в теорию типов
Абдуламин Исмаилов//Введение в теорию типовЛогика в Москве
Просмотров 218
Домашний атомный реактор Олега Автоподбор00:33Домашний атомный реактор Олега Автоподбор
Домашний атомный реактор Олега АвтоподборШорты Ильдара
Просмотров 35 тыс.
В Актау офицер выстрелил солдату срочнику в лицо00:59В Актау офицер выстрелил солдату срочнику в лицо
В Актау офицер выстрелил солдату срочнику в лицоAIRAN
Просмотров 480 тыс.
😲 Гаишник шокировал водителя Мерседеса такими новостями! | Новостничок00:26😲 Гаишник шокировал водителя Мерседеса такими новостями! | Новостничок
😲 Гаишник шокировал водителя Мерседеса такими новостями! | НовостничокНОВОСТНИЧОК
Просмотров 4,8 млн
Эконом такси в твоем городе 😂00:59Эконом такси в твоем городе 😂
Эконом такси в твоем городе 😂Cadrol&Fatich
Просмотров 1 млн
МАМА В 16 | 2 СЕЗОН, 2 ВЫПУСК | КРИСТИНА, ТЮМЕНЬ1:22:04МАМА В 16 | 2 СЕЗОН, 2 ВЫПУСК | КРИСТИНА, ТЮМЕНЬ
МАМА В 16 | 2 СЕЗОН, 2 ВЫПУСК | КРИСТИНА, ТЮМЕНЬМама в 16
Просмотров 1,3 млн
УДОЧКА ЗА 1$ VS 10$ VS 100$!22:41УДОЧКА ЗА 1$ VS 10$ VS 100$!
УДОЧКА ЗА 1$ VS 10$ VS 100$!У Игоря
Просмотров 347 тыс.
Russian soldier abandons his comrade to save himself as Ukraine FPV drones close in for an attack00:30Russian soldier abandons his comrade to save himself as Ukraine FPV drones close in for an attack
Russian soldier abandons his comrade to save himself as Ukraine FPV drones close in for an attackMail News
Просмотров 44 тыс.
ПЕРЕПИСКА НА САЙТЕ ЗНАКОМСТВ | БЕРЕМЕННАЯ против СТУДЕНТКИ31:02ПЕРЕПИСКА НА САЙТЕ ЗНАКОМСТВ | БЕРЕМЕННАЯ против СТУДЕНТКИ
ПЕРЕПИСКА НА САЙТЕ ЗНАКОМСТВ | БЕРЕМЕННАЯ против СТУДЕНТКИЕлена Райтман
Просмотров 1 млн