🎨 Improving style

Took 2 hours 46 minutes

Author: kotobotov

_ru/tour/abstract-type-members.md

@@ -14,8 +14,8 @@ prerequisite-knowledge: variance, upper-type-bound
 
 ---
 
-Абстрактные типы, такие как трейты и абстрактные классы, которые могут содержать членов абстрактного типа.
-Это означает, что только конкретный экземпляр определяет, каким именно будет этот тип.
+Абстрактные типы, такие как трейты и абстрактные классы, могут содержать членов абстрактного типа.
+Абстрактный означает, что только конкретный экземпляр определяет, каким именно будет тип.
 Вот пример:
 
 ```tut
@@ -24,7 +24,7 @@ trait Buffer {
   val element: T
 }
 ```
-Здесь мы определили абстрактный вариант тип `T`, который используется для описания типа `element`. Мы можем расширить его в абстрактном классе, добавив верхнюю границу связанного с `T` типа, чтобы сделать его более конкретным.
+Здесь мы определили абстрактный тип `T`, который используется для описания типа члена `element`. Мы можем расширить его в абстрактном классе, добавив верхнюю границу нового типа `U` связанного с `T`, делая описание типа более конкретным.
 
 ```tut
 abstract class SeqBuffer extends Buffer {
@@ -33,9 +33,9 @@ abstract class SeqBuffer extends Buffer {
   def length = element.length
 }
 ```
-Обратите внимание, как мы можем использовать еще один абстрактный тип `type U` в качестве верхней границы типа. Класс `SeqBuffer` позволяет хранить в буфере только последовательности, указывая, что тип `T` должен быть подтипом `Seq[U]` для нового абстрактного типа `U`.
+Обратите внимание, как мы можем использовать новый абстрактный тип `U` в качестве верхней границы типа. Класс `SeqBuffer` позволяет хранить в буфере только последовательности, указывая, что тип `T` должен быть подтипом `Seq[U]` для нового абстрактного типа `U`.
 
-[Трейты](traits.html) или [классы](classes.html) с абстрактными членами типа часто используются в сочетании с анонимными экземплярами классов. Чтобы проиллюстрировать это рассмотрим программу, которая имеет дело с буфером, который ссылается на список целых чисел:
+[Трейты](traits.html) или [классы](classes.html) с членами абстрактного типа часто используются в сочетании с анонимными экземплярами классов. Чтобы проиллюстрировать это рассмотрим программу, которая имеет дело с буфером, который ссылается на список целых чисел:
 
 ```tut
 abstract class IntSeqBuffer extends SeqBuffer {
@@ -52,9 +52,9 @@ val buf = newIntSeqBuf(7, 8)
 println("length = " + buf.length)
 println("content = " + buf.element)
 ```
-Здесь класс `newIntSeqBuf` является создателем экземпляров `IntSeqBuffer`, использует анонимную реализацию класса `IntSeqBuffer` (т.е. `new IntSeqBuffer`), устанавливая тип `T` как `List[Int]`.
+Здесь класс `newIntSeqBuf` создает экземпляры `IntSeqBuffer`, используя анонимную реализацию класса `IntSeqBuffer` (т.е. `new IntSeqBuffer`), устанавливая тип `T` как `List[Int]`.
 
-Мы можем выводить тип класса из типа его членов и наоборот наоборот. Приведем версию кода, в которой выводится тип класса из типа его члена:
+Мы можем вывести тип класса из типа его членов и наоборот. Приведем версию кода, в которой выводится тип класса из типа его члена:
 
 ```tut
 abstract class Buffer[+T] {
@@ -74,4 +74,4 @@ println("length = " + buf.length)
 println("content = " + buf.element)
 ```
 
-Обратите внимание, что здесь нам необходимо использовать [вариантность в описании типа](variances.html) (`+T <: Seq[U]`) для того, чтобы скрыть конкретный тип реализации последовательности объектов, возвращаемых из метода `newIntSeqBuf`. 
+Обратите внимание, что здесь необходимо использовать [вариантность в описании типа](variances.html) (`+T <: Seq[U]`) для того, чтобы скрыть конкретный тип реализации списка, возвращаемого из метода `newIntSeqBuf`. 

_ru/tour/annotations.md

@@ -57,14 +57,14 @@ def factorial(x: Int): Int = {
 
 
 ## Аннотации, влияющие на генерацию кода
-Некоторые аннотации типа `@inline` влияют на сгенерированный код (т.е. ваш jar-файл может иметь другой код, чем если бы вы не использовали аннотацию). Такая аннотация означает вставку всего кода в тело метода вместо вызова. Полученный байт-код длиннее, но, надеюсь, работает быстрее. Использование аннотации `@inline` не гарантирует, что метод будет встроен, но заставит компилятор сделать это, если и только если будут соблюдены некоторые практические требования к размеру сгенерированного кода.
+Некоторые аннотации типа `@inline` влияют на сгенерированный код (т.е. в результате сам код вашего jar-файл может отличаться). Такая аннотация означает вставку всего кода в тело метода вместо вызова. Полученный байт-код длиннее, но, надеюсь, работает быстрее. Использование аннотации `@inline` не гарантирует, что метод будет встроен, но заставит компилятор сделать это, если и только если будут соблюдены некоторые разумные требования к размеру сгенерированного кода.
 
 ### Java аннотации ###
 Есть некоторые отличий синтаксиса аннотаций, если пишется Scala код, который взаимодействует с Java.
 
 **Примечание:**Убедитесь, что вы используете опцию `-target:jvm-1.8` с аннотациями Java.
 
-Java имеет определяемые пользователем метаданные в виде [аннотаций](https://docs.oracle.com/javase/tutorial/java/annotations/). Ключевой особенностью аннотаций является то, что они полагаются на указание пар ключ-значение для инициализации своих элементов. Например, если нам нужна аннотация для отслеживания источника какого-то класса, мы можем определить её как
+Java имеет определяемые пользователем метаданные в виде [аннотаций](https://docs.oracle.com/javase/tutorial/java/annotations/). Ключевой особенностью аннотаций является то, что они задаются в виде пар ключ-значение для инициализации своих элементов. Например, если нам нужна аннотация для отслеживания источника какого-то класса, мы можем определить её как
 
 ```
 @interface Source {
@@ -98,7 +98,7 @@ class MyScalaClass ...
 }
 ```
 
-А затем использовать следующим образом
+А затем можно использовать следующим образом
 
 ```
 @SourceURL("http://coders.com/")
@@ -112,7 +112,7 @@ public class MyClass extends HisClass ...
 class MyScalaClass ...
 ```
 
-Элемент `mail` был указан со значением по умолчанию, поэтому нам не нужно явно указывать его значение. Однако, если нам нужно это сделать, мы не можем смешивать эти два стиля в Java:
+Элемент `mail` был указан со значением по умолчанию, поэтому нам не нужно явно указывать его значение. Мы не можем смешивать эти два стиля в Java:
 
 ```
 @SourceURL(value = "http://coders.com/",

_ru/tour/basics.md

@@ -26,7 +26,7 @@ previous-page: tour-of-scala
 Это простой способ поэкспериментировать со Scala кодом без всяких настроек.
 
 Большинство примеров кода в этой документации также интегрированы с ScalaFiddle, 
-поэтому вы можете непосредственно поэкспериментировать с ними, просто нажав кнопку Run.
+поэтому вы можете поэкспериментировать с ними, просто нажав кнопку Run.
 
 ## Выражения
 
@@ -47,7 +47,7 @@ println("Hello," + " world!") // Hello, world!
 
 ### Значения
 
-Результаты выражений можно назвать с помощью ключевого слова `val`.
+Результаты выражений можно присваивать именам с помощью ключевого слова `val`.
 
 ```tut
 val x = 1 + 1
@@ -63,7 +63,7 @@ println(x) // 2
 x = 3 // Не компилируется.
 ```
 
-Типы значений могут быть выведены автоматически, но вы также можете явно указать тип, как показано ниже:
+Типы значений могут быть выведены автоматически, но можно и явно указать тип, как показано ниже:
 
 ```tut
 val x: Int = 1 + 1
@@ -73,15 +73,15 @@ val x: Int = 1 + 1
 
 ### Переменные
 
-Переменные похожи на значения константы, за исключением того, что их можно переназначить заново. Вы можете объявить переменную с помощью ключевого слова `var`.
+Переменные похожи на значения константы, за исключением того, что их можно присваивать заново. Вы можете объявить переменную с помощью ключевого слова `var`.
 
 ```tut
 var x = 1 + 1
 x = 3 // Компилируется потому что "x" объявлен с ключевым словом "var".
 println(x * x) // 9
 ```
 
-Как и в случае со значениями, вы можете явно указать тип, если хотите:
+Как и в случае со значениями, вы можете явно указать тип, если захотите:
 
 ```tut
 var x: Int = 1 + 1
@@ -190,7 +190,7 @@ class Greeter(prefix: String, suffix: String) {
     println(prefix + name + suffix)
 }
 ```
-Возвращаемый тип метода `greet` это `Unit`, используется тогда, когда не имеет смысла что-либо возвращать. Аналогично `void` в Java и C. (Поскольку каждое выражение Scala должно иметь какое-то значение, поэтому, при отсутствии возвращающегося значения, возвращается одиночка (сингэлтон) типа Unit. Явным образом его можно задать как `()`, оно не несет какой-либо информации.)
+Возвращаемый тип метода `greet` это `Unit`, используется тогда, когда не имеет смысла что-либо возвращать. Аналогично `void` в Java и C. (Поскольку каждое выражение Scala должно иметь какое-то значение, то при отсутствии возвращающегося значения, возвращается экземпляр типа Unit. Явным образом его можно задать как `()`, он не несет какой-либо информации.)
 
 Вы можете создать экземпляр класса используя ключевое слово `new`.
 
@@ -233,11 +233,11 @@ if (point == yetAnotherPoint) {
 } // Point(1,2) и Point(2,2) разные.
 ```
 
-Есть еще куча вещей которые мы бы хотели рассказать про классы образцы, мы уверены, что вы влюбитесь в них! Обязательно рассмотрим их подробнее немного [позже](case-classes.html).
+Есть еще много деталей, которые мы бы хотели рассказать про классы образцы, мы уверены, что вы влюбитесь в них! Обязательно рассмотрим их [позже](case-classes.html).
 
 ## Объекты
 
-Объекты задаются и существуют в единственным экземпляре. Вы можете думать о них как об одиночках своего собственного класса.
+Объекты задаются и существуют в единственным экземпляре. Вы можете думать о них как об одиночках (сингэлтонах) своего собственного класса.
 
 Вы можете задать объекты при помощи ключевого слова `object`.
 
@@ -260,7 +260,7 @@ val newerId: Int = IdFactory.create()
 println(newerId) // 2
 ```
 
-Позже рассмотрим объекты более [подробно](singleton-objects.html).
+Позже мы рассмотрим объекты [подробнее](singleton-objects.html).
 
 ## Трейты
 

_ru/tour/lower-type-bounds.md

@@ -1,6 +1,6 @@
 ---
 layout: tour
-title: Нижнее Ограничение Типов
+title: Нижнее Ограничение Типа
 
 discourse: true
 
@@ -14,7 +14,7 @@ prerequisite-knowledge: upper-type-bounds, generics, variance
 
 ---
 
-В то время как [верхнее ограничение типов](upper-type-bounds.html) ограничивают тип до подтипа стороннего типа, *нижнее ограничение типов* объявляют тип супертипом стороннего типа. Термин  `B >: A` выражает, что параметр типа `B` или абстрактный тип `B` относится к супертипу типа `A`. В большинстве случаев `A` будет задавать тип класса, а `B` задавать тип метода.
+В то время как [верхнее ограничение типа](upper-type-bounds.html) ограничивает тип до подтипа стороннего типа, *нижнее ограничение типа* объявляют тип супертипом стороннего типа. Термин  `B >: A` выражает, то что параметр типа `B` или абстрактный тип `B` относится к супертипу типа `A`. В большинстве случаев `A` будет задавать тип класса, а `B` задавать тип метода.
 
 Вот пример, где это полезно:
 
@@ -36,7 +36,7 @@ case class Nil[+B]() extends Node[B] {
 
 В данной программе реализован связанный список. `Nil` представляет пустой список. Класс `ListNode` - это узел, который содержит элемент типа `B` (`head`) и ссылку на остальную часть списка (`tail`). Класс `Node` и его подтипы ковариантны, потому что у нас указанно `+B`.
 
-Однако эта программа _не компилируется_, потому что параметр `elem` в `prepend` имеет тип `B`, который мы объявили *ко*вариантным. Так это не работает, потому что функции *контр*вариантны в типах своих параметров и *ко*вариантны типах в своих результатов.
+Однако эта программа _не компилируется_, потому что параметр `elem` в `prepend` имеет тип `B`, который мы объявили *ко*вариантным. Так это не работает, потому что функции *контр*вариантны в типах своих параметров и *ко*вариантны в типах своих результатов.
 
 Чтобы исправить это, необходимо перевернуть вариантность типа параметра `elem` в `prepend`. Для этого мы вводим новый тип для параметра `U`, у которого тип `B` указан в качестве нижней границы типа.