Тема: Haskell - принципи програмування

ЧИСТА функціональна мова з "лінивою" семантикою та поліморфною СТАТИЧНОЮ типізацією
статична - все перевіряється при компіляції, а за реалізації - не грає ролі.
http://haskell.org
стандарти Haskell 1990 -> 2010 -> ...
Haskell Platform
- GHC - компілятор (Глазго Haskell компілятор)
- GHCi - інтерпретатор <--
- Cabal – набір бібліотек
ставити та запускати ... Подробиці: є зміна стандартів мови

x = 2    -- глобальный (x)
y = 42
shoto = let z = x + y   -- локальный z
  in print z

add x y = x + y

shoto = add 40 2  -- вызов
add x y = x + y   -- определение

z = 1          -- ок
z = 2          -- ошибка
q q = \q -> q  -- ок

qq> let k = \x y -> x
qq> k 42 undefined
42

undefined - спеціальна функція "затикати дірки" - функція, що розходиться завжди
У Haskell - функція обчислюється, а аргументи викликаються лише коли вони потрібні (на відміну імперативних мов)
Рекурсія

long factorial (int n)
{
 long res = 1; 
 while (n > 1)
   res *= n--;
 return res;
}

factorial n = if n > 1
   then n * factorial (n-1)
   else 1

factorial n = if n > 1 then n * factorial (n-1) else 1

Додаткові зауваження