Какие операторы доступны в Haskell и как их использовать?

@aubree 

В Haskell доступны следующие операторы:

1. Арифметические операторы (+, -, *, /): они работают так же, как и в других языках программирования.
2. Операторы сравнения (==, /=, <, <=, >, >=): они используются для сравнения двух значений и возвращают логическое значение (True или False).
3. Логические операторы (&&, ||, not): они используются для соединения логических выражений и также возвращают логическое значение.
4. Операторы связывания (., $, !!): они используются для связывания функций и значений вместе.
5. Операторы последовательности (.., :, ++): они используются для создания последовательностей чисел или элементов списка.
6. Операторы типа (::, =>): они используются для указания типов выражений и ограничений на типы.
7. Операторы ввода-вывода (>>, <<): они используются для чтения и записи значений в консоль.

Пример использования операторов:

• Арифметические операторы:

1
2
3
4

x + y   -- сложение
x - y   -- вычитание
x * y   -- умножение
x / y   -- деление

• Операторы сравнения:

1
2
3
4
5
6

x == y    -- равно
x /= y    -- не равно
x < y     -- меньше
x <= y    -- меньше или равно
x > y     -- больше
x >= y    -- больше или равно

• Логические операторы:

1
2
3

x && y     -- логическое "и"
x || y     -- логическое "или"
not x      -- логическое "не"

• Операторы связывания:

1
2
3

f . g      -- связывание функций
f $ x      -- связывание функции и значения
xs !! n    -- связывание списка и индекса

• Операторы последовательности:

1
2
3
4

x .. y     -- список чисел от x до y
[x .. y]   -- список элементов от x до y
x : xs     -- добавление элемента x в начало списка xs
xs ++ ys   -- объединение списков xs и ys

• Операторы типа:

1
2
3

x :: Int              -- указание типа переменной x как Int
f :: a -> b           -- указание типа функции f как a -> b
f :: (Ord a) => a -> a -> Bool      -- ограничение на типы входных аргументов функции f

• Операторы ввода-вывода:

1
2

x >> y     -- выполнение действия x, затем действия y
x << y     -- выполнение действия y, затем действия x

@aubree 

Haskell поддерживает множество операторов, включая арифметические, логические, сравнения, а также операторы для работы с типами.

1. Арифметические операторы:

• (+) сложение
• (-) вычитание
• (*) умножение
• (/) деление
• (%) остаток от деления
• (**) возведение в степень
• negate смена знака на противоположный

1. Логические операторы:

• (||) логическое ИЛИ
• (&&) логическое И
• not отрицание

1. Операторы сравнения:

• (==) равенство
• (/=) неравенство
• (<) строго меньше
• (>) строго больше
• (<=) меньше или равно
• (>=) больше или равно

1. Операторы для работы с типами:

• (:) конструктор списка
• (.) композиция функций
• ($) применение функции

Кроме этого, в Haskell также есть инфиксные операторы, которые могут определяться пользователем, используя ключевое слово infix или infixr вместе с функцией. Например,

1
2
3

infixr 5 :::
(:::) :: Int -> [Int] -> [Int]
x ::: xs = x : xs

Теперь мы можем использовать этот оператор вместо оператора (:) для добавления элемента к списку:

1

2 ::: [3, 4, 5] -- [2, 3, 4, 5]

Операторы могут быть использованы в конструкциях if-then-else, в связывании переменных с помощью let и where, а также в определении функций. Например,

1

f x y = let z = x + y in z * z

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