Осваиваем TypeScript: 21 лучшая практика при написании кода

За перевод, конечно, спасибо, но очень уж "сухая" статья получалась. Некоторые пункты могут быть сложно воспринимаемы для "осваивающего TypeScript". Будто у автора была задача охватить как можно больше материала, имея ограничение на количество символов в статье.

ограничении применения any до конкретных случаев, в которых тип действительно неизвестен

Для этого есть unknown. Тип any это легаси, потому что он не top и не bottom тип в решётке типов, а вообще непойми что.

будет нелишним добавлять утверждения типов или тайп гарды

Вместе с unknown это так же чудесно работает.

Тип Object является встроенной возможностью TypeScript, позволяющей ссылаться на базовый тип объекта

Именно, он ссылается на базовый тип объекта, а для всех описанных ниже примеров нужен тип {}: просто тип объекта. Подробнее тут.

let obj: Object = { name: "John", age: 30 };

И зачем мы тут потеряли информацию про типы полей?

let str: string = obj.name; // валидно

Ну попробуйте тут тип явно не указывать, ага.

function divide(numerator: number, denominator: number): number | never

number | never = number, потому что это ноль для типа-суммы, и это совершенно абсурдное использование never. Он будет иметь смысл, когда нужно написать тип значения, но нет ни одного пути исполнения кода, приводящего к наличию этого значения. Например, если функция всегда throw, или в default у switch, где остальные case разобрали все случаи.

Enums – это перечисления, позволяющие определять в TS набор именованных констант. С их помощью можно писать более читаемый и обслуживаемый код

Начиная с TS 5.0 enum ничем не отличается от union, во многом из-за их крайне нетривиального поведения в текущих версиях языка.

Пространства имён позволяют организовывать код и избегать коллизий в именовании его элементов

Пространства имён нужны для того, чтобы типизировать легаси конструкции с помощью declaration merging. Для организации кода они подходят существенно хуже модулей, и в реальном коде на TS практически не используются.

Лучшая практика 16: type guards

Отвратительная это практика, как as и any. Type guard говорит компилятору "когда я тут true верну, тут будет такой тип, зуб даю". Вся типобезопасность остаётся на совести программиста. Для типизации какого-то грязного старого кода на JS их использовать можно, а в повседневной практике категорически нельзя, нужно переписывать код. В качестве правила левого буравчика: возьмите disjoint union (он же tagged union, он же ADT).

К примеру, с помощью infer можно создать более точный тип для функции, возвращающей массив конкретного типа:

declare const f: <T,>(t: T[]) => T;

Смотри, мам, никаких infer! Conditional types нужны для типизации грязного старого кода на JS. Естественно, это не "лучшая практика".

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

Во-первых, такой тип давно в язык добавили, и вы таким примером получите ошибку. Во-вторых, при переводе неплохо бы не лажать с лигатурами в коде вроде вот этого эллипсиса, из-за которого он вдвойне не откомпилируется. В-третьих, см. предыдущий пункт.

Лучшая практика 21: декораторы

Которые не соответствуют стандарту до выхода ещё не вышедшей версии 5.0. Отличная рекомендация, давайте немедленно ими воспользуемся, чтобы через месяц выбросить код и начать писать заново.

Заключение

Пожалуйста, не переводите чушь. Это просто перечисление глав из документации.

Спасибо за перевод. От себя добавлю несколько замечаний к самой статье:

• TSLint давно заброшен и вместо него рекомендуется использовать ESLint;

• Для организации кода лучше придерживаться использования модулей (ES Modules) вместо namespaces (см. ESLint no-namespace, официальную документацию, или Google styleguide)

• по поводу типа Object - важно не путать Object, object и {}. Например (см. в песочнице):

  const data1: Object = 123; // валидно
  const data2: {} = 456; // валидно
  const data3: object = 789; // невалидно !
  

  Подробнее про это можно прочитать тут на Хабре или в том же Google styleguide

А так хорошие практики и советы по TypeScript описаны в недавно обновленном руководстве от Google TypeScript Style Guide (+ см. перевод руководства на русский язык) о котором упоминалось в статье на Хабре. Там куда больше рекомендаций, учитывающих опыт разработчиков из Google, согласованных между собой и собранных в единый документ.

Мне нравится JS. Пока что лучший язык лично для меня в плане синтаксиса: гибкий и простой. Разве что с Rust может потягаться, но тот слишком низкоуровневый.

Однако я не могу понять, в чем сакральный смысл ключ слов let, var?

Спасибо языку ";" можно не писать, как и var. Но не в TS, вроде как.