Dobry wieczorek! Głośno w branży się zrobiło ostatnio przez TypeScript v5. Spójrzmy co tam się takiego zadziało:

Decorators

Spory czas temu rozpoczęły się prace nad standaryzacją dekoratorów jako elementów ECMAScript. Ekipa stojąca za TypeScriptem stwierdziła, że nadszedł czas, aby kompilator zaczął je wspierać. Wszystko super, ale w porównaniu do tzw. legacy decorators to wypadają one słabiutko. Nowych dekoratorów nie można definiować na parametrach funkcji. Nie są one też kompatybilne z flagą --emitDecoratorMetadata, czyli to już podwójny strzał w stopę. Ma się to kiedyś (może) zmienić, ale na ten moment wygląda to słabo.

Support...

Dzisiaj coś krótkiego, bo dzień roboczy mi się masakrycznie przedłużył. Słowo kluczowe infer pozwala nam definiować swego rodzaju zmienne w typach warunkowych i wykorzystywać je do przeprowadzania dalszych operacji warunkowych. Możemy je też po prostu zwrócić.

Przejdźmy przez prosty przykład. Wyodrębnijmy typ zwracany przez funkcję:

type ReturnType<T> = T extends (...args: any[]) => infer R ? R : any;

Na początku sprawdzamy czy typ generyczny T jest funkcją, jednocześnie deklarując zmienną R w miejscu tego, co powinno zostać zwrócone. Jeżeli T jest faktycznie funkcją to zwracamy R, jeżeli nie to zwracamy typ any.

Teraz spójrzmy...

Zacznijmy od tego, że system typowania w TypeScript jest strukturalny, tzn. mając dwa interfejsy o takich samych polach to według kompilatora będą one kompatybilne. W skrócie: jeżeli coś wygląda jak kaczka to musi być kaczką! Stoi to w przeciwieństwie do języków obiektowych, w których dwa interfejsy muszą być "rodziną", aby były uznawane za kompilator za tożsame.

Zazwyczaj nie stanowi to problemu. Rozważmy przypadek, w którym w naszym systemie krążą wartości pieniężne i czasowe. Używamy aliasów: type Money = number i type Time = number. Nic nie stoi na przeszkodzie wziąć "pisiont" złotych i podać jako argument...