TypeScript Berlin Meetup #8 - Magnus Kulke - Type Level Programming (with Dependent Types)

Поделиться
HTML-код
  • Опубликовано: 15 ноя 2024

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

  • @user-hk3er8jw2s
    @user-hk3er8jw2s 8 месяцев назад

    Finally we have another Universalgenie from Germany!
    Is there anything that Magnus can´t do?
    Bravo, wieter so!

Следующие
Автовоспроизведение
Writing Type-Level programs in TypeScript | Talks at DeepSource30:42Writing Type-Level programs in TypeScript | Talks at DeepSource
Writing Type-Level programs in TypeScript | Talks at DeepSourceDeepSource
Просмотров 1,6 тыс.
How Did I Not Know This TypeScript Trick Earlier??!9:11How Did I Not Know This TypeScript Trick Earlier??!
How Did I Not Know This TypeScript Trick Earlier??!Josh tried coding
Просмотров 216 тыс.
What are dependent types? aka the Calculus of Construction (as a type wizard)29:10What are dependent types? aka the Calculus of Construction (as a type wizard)
What are dependent types? aka the Calculus of Construction (as a type wizard)Eduardo Rafael
Просмотров 4 тыс.
FEEDING STARVING INFLUENCERS FT. DUKE DENNIS51:34FEEDING STARVING INFLUENCERS FT. DUKE DENNIS
FEEDING STARVING INFLUENCERS FT. DUKE DENNISQuenlin Blackwell
Просмотров 4,3 млн
Rauw Alejandro - Cosa Nuestra (Lyric Video)04:21Rauw Alejandro - Cosa Nuestra (Lyric Video)
Rauw Alejandro - Cosa Nuestra (Lyric Video)Rauw Alejandro
Просмотров 786 тыс.
Daaku Maharaaj Teaser | Nandamuri Balakrishna | Bobby Kolli | Thaman S | S Naga Vamsi01:36Daaku Maharaaj Teaser | Nandamuri Balakrishna | Bobby Kolli | Thaman S | S Naga Vamsi
Daaku Maharaaj Teaser | Nandamuri Balakrishna | Bobby Kolli | Thaman S | S Naga VamsiSithara Entertainments
Просмотров 10 млн
GloRilla - I LUV HER (feat. T-Pain) (Official Music Video)03:15GloRilla - I LUV HER (feat. T-Pain) (Official Music Video)
GloRilla - I LUV HER (feat. T-Pain) (Official Music Video)GloRillaVEVO
Просмотров 2 млн
Vim Tips I Wish I Knew Earlier23:00Vim Tips I Wish I Knew Earlier
Vim Tips I Wish I Knew EarlierSebastian Daschner
Просмотров 77 тыс.
8 Design Patterns | Prime Reacts22:108 Design Patterns | Prime Reacts
8 Design Patterns | Prime ReactsThePrimeTime
Просмотров 435 тыс.
Don't Use Websockets (Until You Try This…)6:46Don't Use Websockets (Until You Try This…)
Don't Use Websockets (Until You Try This…)Code With Ryan
Просмотров 320 тыс.
Beginners Should Think Differently When Writing Golang11:35Beginners Should Think Differently When Writing Golang
Beginners Should Think Differently When Writing GolangAnthony GG
Просмотров 120 тыс.
Deep Dive into Advanced TypeScript: A Live Coding Expedition - Christian Woerz - NDC Oslo 202347:39Deep Dive into Advanced TypeScript: A Live Coding Expedition - Christian Woerz - NDC Oslo 2023
Deep Dive into Advanced TypeScript: A Live Coding Expedition - Christian Woerz - NDC Oslo 2023NDC Conferences
Просмотров 8 тыс.
Stephan Boyer - What are Dependent Types - λC 201711:25Stephan Boyer - What are Dependent Types - λC 2017
Stephan Boyer - What are Dependent Types - λC 2017LambdaConf
Просмотров 4,6 тыс.
Writing My Own Database From Scratch42:00Writing My Own Database From Scratch
Writing My Own Database From ScratchTony Saro
Просмотров 254 тыс.
"Understanding TypeScript's Structural Type System" by Drew Colthorp37:47"Understanding TypeScript's Structural Type System" by Drew Colthorp
"Understanding TypeScript's Structural Type System" by Drew ColthorpStrange Loop Conference
Просмотров 14 тыс.
DHH discusses SQLite (and Stoicism)54:00DHH discusses SQLite (and Stoicism)
DHH discusses SQLite (and Stoicism)Aaron Francis
Просмотров 98 тыс.
География уральских пельменей - Япония Уральские пельмени 20241:12:07География уральских пельменей - Япония Уральские пельмени 2024
География уральских пельменей - Япония Уральские пельмени 2024Лучшие вечерние шоу
Просмотров 159 тыс.
#031 Best Comments Compilation🦭 Find Yours! #SEALOOK00:43#031 Best Comments Compilation🦭 Find Yours! #SEALOOK
#031 Best Comments Compilation🦭 Find Yours! #SEALOOKSEALOOK Official
Просмотров 1,4 млн
Молодой паренёк шокировал всех!01:11Молодой паренёк шокировал всех!
Молодой паренёк шокировал всех!МИНУС БАЛЛ
Просмотров 1,7 млн
Как я стал блогером... (Анимация)08:56Как я стал блогером... (Анимация)
Как я стал блогером... (Анимация)ZAKATOON
Просмотров 450 тыс.
smart sigma kid#Harley Quinn #joker00:14smart sigma kid#Harley Quinn #joker
smart sigma kid#Harley Quinn #jokerHarley Quinn with the Joker
Просмотров 11 млн
Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !00:18Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !
Побег из Тюрьмы : Тетрис помог Nuggets Gegagedigedagedago сбежать от Nikocado Avocado !Фани Хани
Просмотров 392 тыс.
消防避险训练，消防员用“水盾”逼退烈火！这是训练，也是他们可能面对的日常。致敬！#熱門 #中国00:16消防避险训练，消防员用“水盾”逼退烈火！这是训练，也是他们可能面对的日常。致敬！#熱門 #中国
消防避险训练，消防员用“水盾”逼退烈火！这是训练，也是他们可能面对的日常。致敬！#熱門 #中国M档案
Просмотров 2,8 млн
4 ДНЯ В ТАЁЖНОЙ ИЗБЕ. СТАВЛЮ КАПКАНЫ. ПЕРВАЯ ДОБЫЧА.27:224 ДНЯ В ТАЁЖНОЙ ИЗБЕ. СТАВЛЮ КАПКАНЫ. ПЕРВАЯ ДОБЫЧА.
4 ДНЯ В ТАЁЖНОЙ ИЗБЕ. СТАВЛЮ КАПКАНЫ. ПЕРВАЯ ДОБЫЧА.-ТАЁЖНЫЙ-
Просмотров 389 тыс.