Термы и типы

𝕭𝖊𝖎𝖅𝖊𝖗𝖔

REPL

REPL (от англ. read-eval-print loop — цикл «чтение — вычисление — вывод») — форма организации простой интерактивной среды программирования в рамках средств интерфейса командной строки.

Scala Worksheet

IntelliJ IDEA позволяет создать Scala worksheet позволяющий выполнять Scala код на лету с возможностью посмотреть результат выполнения каждой строчки.

Фактически Scala worksheet представляет из себя удобный графический интерфейс для REPL’а Scala.

Каждый нетривиальный язык программирования содержит:

примитивные выражения представляющие простейшие элементы ;
способы комбинирования выражений ;
способы для абстрагирования выражений, которые предоставляют имя для выражения по которому на них можно сослаться.

Примитивные выражения

Code	Result
1	res0: Int = 1
true	res1: Boolean = true
“Hello, scala!”	res2: String = Hello, Scala!

Соединение выражений

Более комплексные выражения можно составлять комбинируя более простые с помощью операторов.

Code	Result
1 + 2	res3: Int = 3
“Hello,” ++ “Scala!”	res4: String = Hello, Scala!

Вычисление

Не примитивные выражения вычисляются в следующей последовательности:

Берётся самый левый оператор
Вычисляются его операнды (сначала левый, потом правый)
Оператор применяется к операндам
Процесс вычисления останавливается как только результат является значением

Пример

Пример вычисления арифметического выражения:

(1 + 2) * 3
3 * 3
9

Вызов метода

Другой способ создания комплексных выражений из простых выражений это вызов метода у выражения:

Code	Result
“Hello, Scala!”.size	res5: Int = 13
-42.abs	res6: Int = 42
1.to(10)	res7: Inclusive¹ = Range 1 to 10

¹scala.collection.immutable.Range.Inclusive

Операторы это методы

На самом деле операторы это методы с символьными именами:

3 + 2 == 3.+(2)

Инфиксный синтаксис позволяет опускать точку и скобки.

Инфиксный синтаксис так же может быть использован для обычных методов:

1.to(10) == 1 to 10

Любой метод с параметром может быть записан как инфиксный оператор.

Значения и типы

Выражения имеют значение и тип. Вычислительная модель определяет как получить значение выражения. Типы классифицируют значения

0 и 1 числа, их типом является Int.

"foo" и "bar" это текст, их типом является String.

Статическая типизация

Компилятор Scala статически(во время компиляции) проверяет что вы не комбинируете несовместимые выражения.

Попробуйте в Scala Worksheet ввести и запустить:

1 to "сорок два"

Основные типы

Int: 32-битные целые числа (e.g. 1, 23, 456)
Double: 64-битные числа с плавающей точкой (e.g. 1.0, 2.3, 4.56)
Boolean: булевые(логические) значение (true и false)
String: текст (e.g. “foo”, “bar”)

Упражнения

Code	Result
16.toHexString	?
(0 to 10).contains(10)	?
(0 until 10).contains(10)	?
“foo”.drop(1)	?
“bar”.take(2)	?

Упражнения

Code	Result
16.toHexString	res8: String = 10
(0 to 10).contains(10)	?
(0 until 10).contains(10)	?
“foo”.drop(1)	?
“bar”.take(2)	?

Упражнения

Code	Result
16.toHexString	res8: String = 10
(0 to 10).contains(10)	res9: Boolean = true
(0 until 10).contains(10)	?
“foo”.drop(1)	?
“bar”.take(2)	?

Упражнения

Code	Result
16.toHexString	res8: String = 10
(0 to 10).contains(10)	res9: Boolean = true
(0 until 10).contains(10)	res10: Boolean = false
“foo”.drop(1)	?
“bar”.take(2)	?

Упражнения

Code	Result
16.toHexString	res8: String = 10
(0 to 10).contains(10)	res9: Boolean = true
(0 until 10).contains(10)	res10: Boolean = false
“foo”.drop(1)	res11: String = oo
“bar”.take(2)	?

Упражнения

Code	Result
16.toHexString	res8: String = 10
(0 to 10).contains(10)	res9: Boolean = true
(0 until 10).contains(10)	res10: Boolean = false
“foo”.drop(1)	res11: String = oo
“bar”.take(2)	res12: String = ba