win(исправление): fix 4

fix 4

Author: nauchikus

what-is-new/4.8/Возникновение ошибки при проверке на равенство с литералом объектного типа/content.md

@@ -0,0 +1,26 @@
+## Возникновение ошибки при проверке на равенство с литералом объектного типа
+
+В некоторых языках (как например `Phyton`) оператор `==` в операциях с объектными типами выполняет проверку над _значениями_ объектов, как если бы эти объекты были примитивами. 
+
+`````py
+// выражение проверяет person_array на отсутствие в нем элементов
+if person_array == []:
+    print("Длина массива равна 0!")
+`````
+
+В _JavaScript_ объектные типы представлены ссылками на них, поэтому схожее выражение всегда будет ложным. Поэтому, чтобы облегчить новичкам переход из одного языка в _TypeScript_, его поведение было откорректировано. 
+
+`````ts
+let array: number[] = [];
+// бессмысленное условие (раньше) Ok (теперь) Error -> This condition will always return 'false' since JavaScript compares objects by reference, not value.(2839)
+if (array === []) {
+
+}
+
+
+let object: object = {};
+// бессмысленное условие (раньше) Ok (теперь) Error -> This condition will always return 'false' since JavaScript compares objects by reference, not value.(2839)
+if (object === {}) {
+
+}
+`````

what-is-new/4.8/Ужесточение правил вывода типов/content.md

@@ -0,0 +1,50 @@
+## Ужесточение правил вывода типов
+
+В некоторых случаях выводу типов приходится выбирать наиболее уместный _шаблон_ своих действий.
+
+`````ts
+declare function mergeRandom<T> ( x: T, y: T ): T;
+
+/**
+ * function mergeRandom<[number, boolean, string]>(x: [number, boolean, string], y: [number, boolean, string]):
+ * [number, boolean, string]
+ *
+ * a: number, b: boolean, c: string
+ */
+let [a, b, c] = mergeRandom([100, true, `🙂`], [500, false, `🤩`]);
+
+let a0 = [100, true, `🙂`]; // let a0: (string | number | boolean)[]
+let a1 = [500, false, `🤩`]; // let a1: (string | number | boolean)[]
+
+/**
+ * function mergeRandom<(string | number | boolean)[]>(x: (string | number | boolean)[], y: (string | number |
+ * boolean)[]): (string | number | boolean)[]
+ *
+ * d: string | number | boolean, e: string | number | boolean, f: string | number | boolean
+ */
+let [d, e, f] = mergeRandom( a0, a1 );
+`````
+
+Пример выше иллюстрирует, как выводу типов, помимо выбора между принадлежностью к кортежу или массиву, в стлучае с кортежем приходится прибегать к анализу его элементов. В случае неопределенности, как в примере ниже, вывод типов рассматривал элементы, как принадлежащие к типу `any`, что понижало типобезопасность программ. 
+
+`````TS
+declare function f<T> ( p?: T ): T;
+
+/**
+ * (раньше) Ok
+ * [a: any, b: any, c: any] = function f<[any, any, any]>(p?: [any, any, any] | undefined): [any, any, any]
+ * 
+ * (теперь) Error -> Type 'unknown' must have a '[Symbol.iterator]()' method that returns an iterator.(2488)
+ * 
+ * function f<unknown>(p?: unknown): unknown
+ */
+let [a, b, c] = f(); 
+`````
+
+Начиная с текущей версии, вывод типов больше не прибегает к алгоритмам выбора наиболее подходящего паттерна, а вместо этого выбрасывает при подобных сценариях ошибку, принуждающую к более типобезопасному явному указанию типов.
+
+`````ts
+declare function f<T> ( p?: T ): T;
+
+let [a, b, c] = f<[number, boolean, string]>(); // a: number, b: boolean, c: string
+`````

what-is-new/4.8/Улучшение производительности для флагов --build, --watch и --incremental/content.md

@@ -0,0 +1,3 @@
+## Улучшение производительности для флагов --build, --watch и --incremental
+
+Оптимизация процессов связанных со сборкой у разработчиков _TypeScript_ всегда находится в особом статусе. Поэтому Начиная с текущей версии сборка будет происходить на `10-25%` быстрее.