Введение
В этом посте перейдем непосредственно к ознакомлению с языком Objective Caml. В этом посте будет рассказано об базовых типах данных Objective Caml.
Для начала вам необходимо скачать и установить Objective Caml, на этом этапе достаточно будет одного интерпретатора. Запуск интерпретатора производится с помощью: команды ocaml, если дело происходит в *nix, либо запуска ocaml.exe если дело происходит в Windows.
После запуска интерпретатора мы увидим следующее: версию Ocaml, у меня это Objective Caml version 3.00, и ожидание ввода команд:#.
Каждая логическая единица кода — фраза, заканчивается в Objective Caml — ;; Выход из интерпретатора, осуществляется либо по нажатию Сtrl+D, либо после вызова функции exit типа int -> int:
exit 0;;
Типы данных
В Objective Caml определены следующие базовые типы данных: целочисленный тип, числа с плавающей точкой, символьный тип, строковой тип и логический тип.
Целочисленный тип
Целые числа в Objective Caml объявляются с помощью ключевого слова int:
#0;;
-: int = 0
#10 + 10;;
-:int = 20
#10 / 5 ;;
-:int = 2
Операции над целочисленным типом:
+ — сложение
— — вычитание и унарный минус
* — умножение
/ — деление
mod — остаток целочисленного деления
Числа с плавающей точкой
Числа с плавающей точкой в Objective Caml объявляются с помощью ключевого слова float:
#1.0
-:float = 1.0
#123.1 — 123.-0 / 5.0
-:float = 0.2
#ceil 3.6
-: float = 4
Операции над числами с плавающей точкой:
+- сложение
— — вычитание и унарный минус
* — умножение
/ — деление
** — возведение в степень
Базовые функции над числами с плавающей точкой:
*ceil — округление до большего
*floor — округление до меньшего
*sqrt — квадратный корень
*exp — экспонента
*log — натуральный логарифм
*log10 — логарифм по основанию 10
*sin — синус
*cos — косинус
*tan — тангенс
*acos — арккосинус
*asin — арксинус
*atan — арктангенс
Переменные разных типов, можно явно привети к друг другу, посредством функци перевода типов данных: float_of_int и int_of_float.
Символьный тип и строковой
Символы в Objective Caml тип char, соответствуют целым числам в интервале от 0 до 255, первые 128 значений соответствуют ASCII,
Строки в Objective Caml — тип string — последовательность символов определенной длины.
#'A'
-:char = 'A'
int_of_char 'A'
-:int = 65
#«OCAML string»
-:string = «OCAML string»
Функции перевода из целочисленного типа в символьный и обратно: int_of_char и char_of_int.
Функции перевода из целочисленного типа в строковой и обратно: int_of_string и string_of_int.
Логический тип
Булевый тип в Objective Caml представлен множеством, состоящем из 2 элементов: true и false
#true;;
-:bool = true
#not true;;
-:bool = false
Логические операции:
< — меньше
> — больше
<= — меньше либо равно
>= — больше либо равно
= — равно
== — физическое равенство
<> — отрицание
!= — отрицание ==
Логические операторы:
not — отрицание
&& — последовательное и
|| — последовательное или
Тип Unit
Тип Unit определяет множество всего из одного элемента, значение которого ():
#();;
-:unit = ()
Данный тип является аналогом тип void в языке С++.
Вот и все базовые типы языка Ocaml
