spinny:~/writing $ vim advanced-typescript-patterns.md
1~2TypeScript a devenit standardul industrial pentru dezvoltarea web la scara larga. In timp ce majoritatea dezvoltatorilor cunosc bazele interfetelor si tipurilor, adevarata putere sta in sistemul avansat de tipuri. Iata 5 modele care te vor diferentia ca inginer senior.3~4## 1. Generic Constraints5~6Genericele sunt puternice, dar uneori trebuie sa limitezi ce poate fi transmis. `extends` este prietenul tau aici.7~8```typescript9interface HasId {10 id: string;11}12~13function getById<T extends HasId>(list: T[], id: string): T | undefined {14 return list.find((item) => item.id === id);15}16```17~18Asigurand ca `T` extinde `HasId`, garantam ca accesarea `.id` in interiorul functiei este sigura.19~20## 2. Conditional Types21~22Tipurile conditionale iti permit sa creezi mapari de tipuri neuniforme. Sintaxa este similara cu operatorul ternar din JavaScript.23~24```typescript25type IsString<T> = T extends string ? true : false;26~27type A = IsString<string>; // true28type B = IsString<number>; // false29```30~31Un caz practic de utilizare este filtrarea tipurilor dintr-o uniune:32~33```typescript34type Diff<T, U> = T extends U ? never : T;35type NonNullable<T> = Diff<T, null | undefined>;36```37~38## 3. Mapped Types39~40Tipurile mapate iti permit sa creezi tipuri noi pe baza celor existente prin transformarea proprietatilor.41~42```typescript43type ReadOnly<T> = {44 readonly [P in keyof T]: T[P];45};46~47interface User {48 name: string;49 age: number;50}51~52type ReadOnlyUser = ReadOnly<User>;53```54~55Poti chiar adauga sau elimina modificatori:56~57```typescript58type Mutable<T> = {59 -readonly [P in keyof T]: T[P];60};61```62~63## 4. Template Literal Types64~65Introduse in TypeScript 4.1, acestea iti permit sa manipulezi tipuri de stringuri direct.66~67```typescript68type World = 'world';69type Greeting = `hello ${World}`; // "hello world"70~71type Color = 'red' | 'blue';72type Quantity = 'light' | 'dark';73~74type Palette = `${Quantity}-${Color}`;75// "light-red" | "light-blue" | "dark-red" | "dark-blue"76```77~78Acest lucru este incredibil de util pentru tipizarea stringurilor care urmeaza un model specific, cum ar fi clasele CSS sau numele evenimentelor.79~80## 5. Cuvantul cheie `infer`81~82Cuvantul cheie `infer` din cadrul tipurilor conditionale iti permite sa extragi tipuri din alte tipuri.83~84```typescript85type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;86~87function check(): boolean {88 return true;89}90~91type CheckReturn = ReturnType<typeof check>; // boolean92```93~94Aici, cerem TypeScript sa "deduca" tipul de return `R` al unei functii si sa il returneze.95~96## Concluzie97~98Stapanirea acestor modele iti permite sa scrii biblioteci si utilitare robuste care ofera o experienta excelenta pentru dezvoltatori (DX). Scopul TypeScript avansat nu este complexitatea de dragul complexitatii, ci siguranta si expresivitatea.99~
NORMAL · advanced-typescript-patterns.md [readonly]99 lines · :q to close