book(добавление): add part 4.7

add part 4.7

Author: nauchikus

book/ru/chapters/036.(Работа с типами) Импорт и экспорт только типа/content.md

@@ -506,3 +506,36 @@ let dataFromModuleWithoutSideEffects: IDataFromModuleWithoutSideEffects = {};
 Скомпилированный код после устранения ошибок, то есть после уточнения, включать в себя импорты не будет.
 
 В заключение стоит заметить, что, теоретически, уточнение класса, используемого только в качестве типа, способно ускорить компиляцию, поскольку это избавляет компилятор от ненужных проверок на вовлечении его в логику работы модуля. Кроме того, уточнение формы импорта/экспорта — это ещё один способ сделать код более информативным.
+
+
+## Разрешение импорта и экспорта только типа с помощью resolution-mode
+
+Компилятор _TypeScript_ умеет успешно разрешать сценарии при импортировании таких модулей, как `CommonJS` и `ECMAScript`. Для разрешения импорта только типа существует отдельный механизм, который осуществляется путем указания после пути до модуля ключевого слова `assert` за которым в фигурных скобках определяется конфигурация позволяющая конкретизировать вид модулей.
+
+`````ts
+// Для require()
+import type { TypeFromRequere } from "module-name" assert {
+    "resolution-mode": "require"
+};
+
+// Для import
+import type { TypeFromImport } from "module-name" assert {
+    "resolution-mode": "import"
+};
+
+export interface MergedType extends TypeFromRequere, TypeFromImport {}
+`````
+
+Помимо этого, утверждения можно применить и к динамическому импорту..
+
+`````ts
+import("module-name", { assert: { "resolution-mode": "require" } }).TypeFromRequire;
+import("module-name", { assert: { "resolution-mode": "import" } }).TypeFromImport;
+`````
+
+..а также, к коментарной директиве.
+
+`````ts
+/// <reference types="module-name" resolution-mode="require" />
+/// <reference types="module-name" resolution-mode="import" />
+`````

book/ru/chapters/045.(Работа с типами) Условные типы (Conditional Types)/content.md

@@ -202,3 +202,37 @@ type ParamType<T> = T extends { a: infer A, b: infer B } ? A | B : undefined;
 
 let v: ParamType<{ a: number, b:string }>; // let v: string | number
 `````
+
+## Ограничение infer с помощью extends
+
+Условные типы позволяют творить настоящие чудеса, но иногда бывают немного громоздки. Для примера представьте сценарий при котором необходимо получить тип первого элемента кортежа, но только тогда, когда этот тип совместим со `string`.
+
+`````ts
+type FirstNumberItem<T> =
+    T extends [infer S, ...unknown[]]
+        ? S extends number ? S : never
+        : never;
+
+// type A = number
+type A = FirstNumberItem<[number, boolean, string]>;
+
+// type B = 100
+type B = FirstNumberItem<[100, boolean, string]>;
+
+// type C = 100 | 500
+type C = FirstNumberItem<[100 | 500, boolean]>;
+
+// type D = never
+type D = FirstNumberItem<[boolean, number, number]>;
+`````
+
+Несмотря на то, что данный код решает возложенную на него задачу, вложенные условные выражения затрудняют его читаемость. исправить эту ситуацию призван механизма позволяющий ограничивать переменные типа `infer` конкретным типом при помощи ключевого слова `extends`.
+
+`````ts
+type FirstNumberItem<T> =
+    T extends [infer S extends number, ...unknown[]] ? S : never;
+
+/**
+ * ..здесь располагается код аналогичный предыдущему.
+ */
+`````

book/ru/chapters/062.(Компилятор) Опции компилятора/content.md

@@ -2736,3 +2736,31 @@ let o: T = {
 **type**: `boolean`
 **default**: `false`
 **values**: `true`, `false`
+
+
+## moduleSuffixes
+
+
+`--moduleSuffixes` - указывает правила для разрешения модулей на основе расширений.
+
+
+`````json
+{
+    "compilerOptions": {
+        "moduleSuffixes": [".ios", ".native", ""]
+    }
+}
+`````
+
+При конфигурации выше, код ниже..
+`````ts
+import * as x from "./x";
+`````
+
+..будет разрешен таким образом, что сначала осуществится поиск `./x.ios`, затем `./x.native` и наконец `./x.ts`.
+Стоит обратить внимает, что указание пустой строки в качестве элемента параметра `moduleSuffixes` требуется для указания поиска файлов с расширением `.ts` и это значение является значение по умолчанию.
+
+
+**type**: `string`
+**default**: `[""]`
+**values**: `.*`