Type Level Programming in TypeScript

preview_player
Показать описание

This talk demystifies Type Level Programming in TypeScript by showing how you can apply your existing programming knowledge to types, and write complex type signatures that accurately describe your code.

By @gvergnaud

  1. Gabriel Vergnaud
Рекомендации по теме
Type Level Programming 0:32:52

Type Level Programming in TypeScript

Mieszko Sabo - 0:28:23

Mieszko Sabo - Type level programming in TypeScript

Type-level Programming ƒun 0:37:15

Type-level Programming ƒun in TypeScript - MATTIA MANZATI

TypeScript in 100 0:02:25

TypeScript in 100 Seconds

Writing Type-Level programs 0:30:42

Writing Type-Level programs in TypeScript | Talks at DeepSource

TypeScript Berlin Meetup 0:20:37

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

'Understanding TypeScript's Structural 0:37:47

'Understanding TypeScript's Structural Type System' by Drew Colthorp

Level up your 0:09:05

Level up your code: power of types in typescript

MAD 2 AQ/PQ 2:21:46

MAD 2 AQ/PQ Session - Week 3

Type Annotations - 0:08:12

Type Annotations - TypeScript Programming Tutorial #1

Mattia Manzati - 1:03:00

Mattia Manzati - Type-level Programming ƒun in TypeScript

Learn TypeScript Generics 0:12:52

Learn TypeScript Generics In 13 Minutes

JavaScript Developers TRYING 0:00:15

JavaScript Developers TRYING to Use TypeScript

Intermediate TypeScript by 0:14:09

Intermediate TypeScript by Mike North | Preview

Array.filter on the 0:00:50

Array.filter on the type level

Type-Level Quine in 0:00:37

Type-Level Quine in TypeScript 4.1

Typescript's type system 0:42:39

Typescript's type system - From solving puzzles to proving facts of program by Damodharan #FnCo...

TypeScript Tutorial for 1:04:28

TypeScript Tutorial for Beginners

Which Programming Language 0:00:20

Which Programming Language Do Developers Prefer in 2024? | Intellipaat #Shorts #ProgrammingLanguage

Typescript - Type 0:14:34

Typescript - Type System explained from Anders Hejlsberg - creator of Typescript

Should you Learn 0:00:55

Should you Learn TYPESCRIPT in 2024?

Level Up Your 0:02:23

Level Up Your TypeScript: as vs. satisfies vs. Type Annotations

The `satisfies` operator 0:00:48

The `satisfies` operator in TypeScript is a game changer

TypeScript Wizardry: Recursive 0:14:47

TypeScript Wizardry: Recursive Template Literals

Комментарии
Автор

It's kind of mind-blowing the fact that the TS's type system is Turing Complete. This is definitely a hard topic, and you barely scrap the surface, but I believe that for beginners like myself the explanation can be enlightening. Nicely done!

RubenGarcia-mrpe
Автор

Thank you, very insightful for an amateur type-programmer :)

stasgavrylov
Автор

are you sure:"Functions are called Generics" - to my understanding Generics are polymorphic types: List<T> can be List<number>, List<string>, ...

hansschenker
Автор

Gabriel c'est deja le depart - J'espire que tu contiue avec "Deep Dive Typescript"!

hansschenker
visit shbcf.ru