Skip to content

Commit 057a48d

Browse files
tyskyv1valasvegan
authored andcommitted
Update description.ru.yml
1 parent b1c821f commit 057a48d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

modules/25-types/50-type-hierarcy/description.ru.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ theory: |
2121
2222
В определении системы типов есть несколько подходов, например, считать каждый тип отдельной вселенной и давать на откуп пользователям определение всех взаимодействий между ними. Или другой подход, когда вселенная одна и внутри нее есть более мелкие единицы.
2323
24-
Второй подход как раз про TypeScript, как и, например, про Java, где все наследуется от `Object``.
24+
Второй подход как раз про TypeScript, как и, например, про Java, где все наследуется от `Object`.
2525
2626
Первый же подход хорошо описывается теорией множеств. Здесь одну из ключевых ролей играют подмножества и надмножества. Множество `A` является подмножеством `B`, если любой элемент, принадлежащий `A`, также принадлежит `B`. Эта идея также отлично описывает идею связи между типами, создавая тем самым иерархию типов, которая в свою очередь определяет возможность присвоить переменную одного типа переменной другого типа.
2727
@@ -49,7 +49,7 @@ theory: |
4949
unknownValue = notTrue; // OK
5050
```
5151
52-
Куда более редкий случай на практики, когда нам нужно быть уверенными, что переменной не будет присвоено никакого значения, позволяет реализовать тип `never`. С точки зрения теории множеств, это пустое множество, не содержащее никакого элемента:
52+
Куда более редкий случай на практике, когда нам нужно быть уверенными, что переменной не будет присвоено никакого значения, позволяет реализовать тип `never`. С точки зрения теории множеств, это пустое множество, не содержащее никакого элемента:
5353
5454
```typescript
5555
let neverValue: never;

0 commit comments

Comments
 (0)