Add new-in-scala3, contribute-to-docs in russian

Author: artemkorsakov

_includes/sidebar-toc-singlepage-overview.html

@@ -12,10 +12,10 @@ <h5 class="contents">Contents</h5>
       			{% assign lang = site.data.languages[l] %}
       			<li><a href="{{ site.baseurl }}/{{ l }}/{{ rootTutorialURL }}" class="lang">{{ lang.name }}</a></li>
           {% endfor %}
-      </ul>
+        </ul>
       {% elsif page.language %}
          {% assign engPath = page.id | remove_first: "/" | remove_first: page.language | append: '.html' %}
-         {% assign engPg = site.documents | where: 'partof', page.partof | first %}
+         {% assign engPg = site.overviews | where: 'partof', page.partof | first %}
         <ul id="available-languages" style="display: none;">
           <li><a href="{{ site.baseurl }}{{ engPath }}">English</a></li>
           {% for l in engPg.languages %}

_ru/scala3/new-in-scala3.md

@@ -5,7 +5,7 @@ scala3: true
 language: ru
 ---
 
-Захватывающая новая версия Scala 3 содержит множество улучшений и новых функций. 
+Захватывающая новая версия Scala 3 содержит множество новых функций и улучшений. 
 Здесь мы представляем вам краткий обзор наиболее важных изменений. 
 Если вы хотите копнуть глубже, то в вашем распоряжении несколько ссылок:
 
@@ -18,17 +18,17 @@ language: ru
 ## Что нового Scala 3
 Scala 3 — это полная переработка языка Scala. 
 По сути, многие аспекты системы типов были изменены, чтобы сделать их более последовательными. 
-Хотя эта версия также приносит захватывающие новые функции (например, типы объединения), 
+Хотя эта версия также приносит интересные новые функции (например, типы объединения), 
 в первую очередь это означает, что система типов становится (даже) малозаметнее на вашем пути, 
-и, например, [вывод типов][type-inference] и перегрузка значительно улучшаются.
+и, например, [вывод типов][type-inference] с перегрузкой значительно улучшаются.
 
 ### Новое и яркое: синтаксис
 Помимо многих (незначительных) чисток, синтаксис Scala 3 предлагает следующие улучшения:
 
 - Новый "тихий" синтаксис для структур управления, таких как `if`, `while` и `for` ([новый синтаксис управления][syntax-control])
-- Ключевое слово `new` является необязательным (_например_ [для создания экземпляров][creator])
+- Ключевое слово `new` теперь является необязательным (_например_ [для создания экземпляров][creator])
 - [Опциональные фигурные скобки][syntax-indentation] поддерживающие стиль программирования, не отвлекающий внимание и чувствительный к отступам
-- Изменение [типового уровня подстановочных знаков][syntax-wildcard] с `_` на `?`.
+- Изменение [подстановочных знаков типа][syntax-wildcard] с `_` на `?`.
 - Имплициты (и их синтаксис) были [значительно переработаны][implicits].
 
 ### Последовательное: контекстуальные абстракции
@@ -46,7 +46,7 @@ Scala 3 предлагает несколько специализированн
 
 - **Абстрагирование контекстной информации**. [Using предложения][contextual-using] позволяют программистам абстрагироваться от информации, 
   которая доступна в контексте вызова и должна передаваться неявно. 
-  В качестве улучшения по сравнению с неявными элементами в Scala 2 предложения _using_ могут указываться по типу, 
+  В качестве улучшения по сравнению с имплицитами в Scala 2 предложения _using_ могут указываться по типу, 
   освобождая сигнатуры функций от имен переменных, если на них не ссылаются явно.
 
 - **Предоставление экземпляров классов типов**. [Экземпляры given][contextual-givens] позволяют программистам определять 
@@ -76,7 +76,7 @@ Scala 3 предлагает несколько специализированн
 
 - **Типы пересечения и объединения**. Основание системы типов на новом фундаменте привело к введению новых функций системы типов: 
   экземпляры [типов-пересечений][types-intersection], например `A & B`, являются экземплярами обоих типов `A` и `B`. 
-  Экземпляры типов объединения, например `A | B`, являются экземплярами либо `A`, либо `B`. 
+  Экземпляры [типов объединения][types-union], например `A | B`, являются экземплярами либо `A`, либо `B`. 
   Обе конструкции позволяют программистам гибко выражать ограничения типов вне иерархии наследования.
 
 - **Зависимые типы функций**. Scala 2 уже позволяла возвращаемым типам зависеть от (значения) аргументов. 
@@ -105,7 +105,7 @@ Scala всегда была на границе между функционал
 В то же время следующие новые функции позволяют создавать хорошо структурированные _объектно-ориентированные проекты_ 
 и поддерживают best practices.
 
-- **Передайте это**. Трейты становятся ближе к классам и теперь также могут принимать [параметры][oo-trait-parameters], 
+- **Передача параметров**. Трейты становятся ближе к классам и теперь также могут принимать [параметры][oo-trait-parameters], 
   что делает их еще более мощным средством модульной декомпозиции программного обеспечения.
 - **Планирование расширения**. Наследование классов, которые не предназначены для расширения, 
   является давней проблемой объектно-ориентированного проектирования. 
@@ -119,7 +119,7 @@ Scala всегда была на границе между функционал
   [явное значение null][oo-explicit-null] выводит `null` из иерархии типов, помогая статически отлавливать ошибки; 
   дополнительные проверки для [безопасной инициализации][oo-safe-init] обнаруживают попытки доступа к неинициализированным объектам.
 
-### Batteries Included: метапрограммирование
+### Зарядка в комплекте: метапрограммирование
 В то время как макросы в Scala 2 были только экспериментальной функцией, 
 Scala 3 поставляется с мощным арсеналом инструментов для метапрограммирования. 
 [Учебник по макросам]({% link _overviews/scala3-macros/tutorial/index.md %}) содержит подробную информацию о различных возможностях.