Add types-introduction.md in russian

Author: artemkorsakov

_overviews/scala3-book/types-introduction.md

@@ -2,7 +2,7 @@
 title: Types and the Type System
 type: chapter
 description: This chapter provides an introduction to Scala 3 types and the type system.
-languages: [zh-cn]
+languages: [ru, zh-cn]
 num: 47
 previous-page: fp-summary
 next-page: types-inferred

_ru/scala3/book/fp-summary.md

@@ -9,7 +9,7 @@ description: Этот раздел суммирует предыдущие ра
 language: ru
 num: 46
 previous-page: fp-functional-error-handling
-next-page:
+next-page: types-introduction
 ---
 
 

_ru/scala3/book/types-introduction.md

@@ -0,0 +1,68 @@
+---
+layout: multipage-overview
+title: Типы и система типов
+scala3: true
+partof: scala3-book
+overview-name: "Scala 3 — Book"
+type: section
+description: В этой главе представлено введение в типы и систему типов Scala 3.
+language: ru
+num: 47
+previous-page: fp-summary
+next-page:
+---
+
+Scala — уникальный язык, поскольку он статически типизирован, но часто кажется гибким и динамичным.
+Например, благодаря выводу типов можно писать код без явного указания типов переменных:
+
+{% tabs hi %}
+{% tab 'Scala 2 и 3' %}
+
+```scala
+val a = 1
+val b = 2.0
+val c = "Hi!"
+```
+
+{% endtab %}
+{% endtabs %}
+
+Это делает код динамически типизированным.
+А благодаря новым функциям в Scala 3, таким как [объединение типов][union-types],
+также можно писать код, подобный следующему,
+который кратко выражает, какие значения ожидаются в качестве аргументов и какие типы возвращаются:
+
+{% tabs union-example %}
+{% tab 'Только в Scala 3' %}
+
+```scala
+def isTruthy(a: Boolean | Int | String): Boolean = ???
+def dogCatOrWhatever(): Dog | Plant | Car | Sun = ???
+```
+
+{% endtab %}
+{% endtabs %}
+
+Как видно из примера, при использовании объединения типы необязательно должны иметь общую иерархию,
+и их по-прежнему можно принимать в качестве аргументов или возвращать из метода.
+
+При разработке приложений такие функции, как вывод типов,
+используются каждый день, а generics - каждую неделю.
+При чтении Scaladoc для классов и методов, также необходимо иметь некоторое представление о _ковариантности_.
+Использование типов может быть относительно простым,
+а также обеспечивает большую выразительность, гибкость и контроль для разработчиков библиотек.
+
+## Преимущества типов
+
+Языки программирования со статической типизацией предлагают ряд преимуществ, в том числе:
+
+- помощь IDE в обеспечении надежной поддержки
+- устранение многих классов потенциальных ошибок во время компиляции
+- помощь в рефакторинге
+- предоставление надежной документации, которая не может быть нерелевантной, поскольку проверена на тип
+
+## Знакомство с особенностями системы типов в Scala
+
+Учитывая это краткое введение, в следующих разделах представлен обзор особенностей системы типов в Scala.
+
+[union-types]: {% link _overviews/scala3-book/types-union.md %}