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

Elm
Парадигма	функційне реактивне програмування, функційне програмування
Дата появи	2012
Творці	Еван Чапліцькі
Останній реліз	0.19.1 (21 жовтня 2019)
Система типізації	статична, сильна, вивідна
Під впливом від	Haskell, Standard ML, OCaml, F#
Вплинула на	Redux (архітектура)
Мова реалізації	Haskell
Ліцензія	Дозвільна (Переглянута BSD)
Звичайні розширення файлів	.elm
Репозиторій вихідного коду	github.com/elm/compiler
Вебсайт	elm-lang.org

Elm (з англ. В'яз) — функційна мова програмування, для декларативного створення браузерних застосунків з графічним інтерфейсом користувача. Elm використовує стиль функційного реактивного програмування та чисто функційне програмування для того щоб сконструювати інтерфейс користувача унеможливлюючи деструктивні зміни. Синтаксис схожий на Haskell, але значно спрощений і спеціалізований. Вихідний код на Elm компілюється в нативний JavaScript. Скомпільований JavaScript містить код додатка, яке керують піддерево DOM.

Історія

Elm спроектував Еван Чапліцькі в своїй дипломній роботі 2012 року. Перший випуск Elm містив приклади та онлайн-редактор, який дозволяв досить просто спробувати мову у браузері. Еван Чапліцькі приєднався до Prezi в 2013 аби продовжити роботу над Elm, а в 2016 перейшов до NoRedInk як Open Source Engineer, також заснувавши «Elm Software Foundation».

Початкова реалізація компілятора Elm націлена на генерацію HTML, CSS, та JavaScript коду. Набір інструментів мови продовжив розширюватись, і тепер включає REPL, менеджер пакунків, зневадник який подорожує в часі, та інсталятори для Mac та Windows. Elm також має екосистему бібліотек створених спільнотою.

Особливості

Elm містить невеликий, але виразний набір конструкцій мови, який включає if-вирази, let-вирази, case-вирази, анонімні функції та інтерполяцію списків.

Незмінність

Всі значення в Elm незмінні, що означає, що значення не може модифікуватись, після того як воно було створеним. Elm використовує персистентні структури даних щоб реалізувати свої бібліотеки Array, Dict, та Set.

Статична типізація

Elm статично типізований. Кожному визначенню в Elm можна дати анотацію типу, яка опише точний формат значення. Типи включають:

• примітивні типи, такі як числа та рядки
• базові структури даних, такі як списки, кортежі та асоціативні масиви
• позначені об'єднання, які дозволяють створювати нові типи

Elm також підтримує повне виведення типів, тому компілятор може перевірити що програма типо-безпечна, не читаючи жодних анотацій типів.

Система модулів

Elm має систему модулів яка дозволяє користувачам розбити свій код на менші частини, які називаються модулями. Користувачі можуть імпортувати та експортувати значення, дозволяючи приховувати деталі реалізації, щоб іншим програмістам не було потреби про них думати. Модулі складають основу сайту бібліотеки спільноти Elm: Elm Public Library.

Взаємодія з HTML, CSS, та JavaScript

Elm для спілкування з JavaScript використовує абстракцію, яка називається «порти».

Elm також має бібліотеку, яка називається elm-html і дозволяє користувачам використовувати HTML в Elm та стилізувати його з CSS. Для того щоб зміни в HTML були ефективними, використовується віртуальний DOM.

Обмеження

На відміну від Haskell, Elm не має підтримки класів типів, і тому не може надавати загальну абстракцію для багатьох типових операцій. Наприклад, нема загальної функції map, apply, fold, чи filter. Замість цього, такі імена містять свій модуль як префікс, як в List.map та Dict.map.

Інструменти

• Онлайн-редактор і компілятор на elm-lang.org/try
• Онлайн REPL: http://elmrepl.cuberoot.in/ [Архівовано 16 жовтня 2016 у Wayback Machine.]
• Elm Platform [Архівовано 28 лютого 2017 у Wayback Machine.] для інсталяції основних інструментів локально
• Time-Traveling Debugger
• Ресурси для навчання та приклади
• Core Libraries та Community Libraries

Приклад коду

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

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

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

-- Тут ми описуємо значення, яке назвемо `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)

Посилання

• Офіційний сайт