Elm (мова програмування)

-- Це однорядковий коментар

{- А це багаторядковий.
   Він може розтягуватись на багато рядків.
-}

{- Можна вкладати багаторядкові коментарі {- один в одного -} -}

-- Тут ми описуємо значення, яке назвемо `greeting`. Його тип виведеться як String.
greeting =
    "Привіт, світе!"

 -- Але краще додавати анотації типів до декларацій верхнього рівня:
hello : String
hello =
    "Привіт вам!"

-- Функції описуються аналогічно до значень, аргументи йдуть за іменем функції
add x y =
    x + y

-- Знову ж таки, краще додавати анотації типів.
hypotenuse : Float -> Float -> Float
hypotenuse a b =
    sqrt (a^2 + b^2)

-- If-вирази використовуються щоб відгалужувати значення
absoluteValue : Int -> Int
absoluteValue number =
    if number < 0 then -number else number

 -- Записи використовуються щоб містити значення з іменованими полями
book : { title:String, author:String, pages:Int }
book =
    { title = "Кобзар"
    , author = "Шевченко"
    , pages = 237 
    }

-- Можна створювати цілком нові типи, використовуючи ключове слово `type`.
-- Наступне значення задає бінарне дерево.
type Tree a
    = Empty
    | Node a (Tree a) (Tree a)

-- Такі типи можна опрацьовувати за допомогою case-виразів.
depth : Tree a -> Int
depth tree =
    case tree of
      Empty -> 0
      Node value left right ->
          1 + max (depth left) (depth right)