www.wikidata.uk-ua.nina.az

Elm мова програмування Elm з англ В яз функційна мова програмування для декларативного створення браузерних застосунків

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

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

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

Історія ред.

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 можна дати анотацію типу, яка опише точний формат значення. Типи включають:

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

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

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

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

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

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

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

Обмеження ред.

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

Інструменти ред.

Приклад коду ред. 

-- Це однорядковий коментар {- А це багаторядковий.  Він може розтягуватись на багато рядків. -} {- Можна вкладати багаторядкові коментарі {- один в одного -} -} -- Тут ми описуємо значення, яке назвемо `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)

Зноски ред.

  1. . Архів оригіналу за 24 серпня 2016. Процитовано 24 серпня 2016. 
  2. https://github.com/elm/compiler
  3. https://github.com/evancz/Elm/blob/master/LICENSE
  4. . Архів оригіналу за 20 листопада 2016. Процитовано 24 серпня 2016. 
  5. . Архів оригіналу за 21 травня 2017. Процитовано 24 серпня 2016. 
  6. . Архів оригіналу за 24 травня 2015. Процитовано 24 серпня 2016. 
  7. . Архів оригіналу за 5 вересня 2016. Процитовано 24 серпня 2016. 
  8. Elm compiler source code
  9. . Архів оригіналу за 31 травня 2015. Процитовано 24 серпня 2016. 
  10. . Архів оригіналу за 13 березня 2016. Процитовано 24 серпня 2016. 
  11. . Архів оригіналу за 3 травня 2017. Процитовано 24 серпня 2016. 
  12. . Архів оригіналу за 28 лютого 2017. Процитовано 24 серпня 2016. 
  13. . Архів оригіналу за 11 лютого 2015. Процитовано 24 серпня 2016. 
  14. . Архів оригіналу за 13 березня 2016. Процитовано 24 серпня 2016. 
  15. About Elm [ 30 серпня 2017 у Wayback Machine.] Elm features
  16. . Архів оригіналу за 11 лютого 2015. Процитовано 24 серпня 2016. 
  17. . Elm. Архів оригіналу за 9 травня 2016. Процитовано 4 травня 2016. 
  18. . Архів оригіналу за 11 лютого 2015. Процитовано 24 серпня 2016. 
  19. . Архів оригіналу за 13 березня 2016. Процитовано 24 серпня 2016. 
  20. . Архів оригіналу за 4 вересня 2016. Процитовано 24 серпня 2016. 
  21. . Архів оригіналу за 13 березня 2016. Процитовано 24 серпня 2016. 
  22. Higher-Kinded types Not Expressible? #396. github.com/elm-lang/elm-compiler. Процитовано 6 березня 2015. 

Посилання ред.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри
Дата публікації:
Elm z angl V yaz funkcijna mova programuvannya dlya deklarativnogo stvorennya brauzernih zastosunkiv z grafichnim interfejsom koristuvacha Elm vikoristovuye stil funkcijnogo reaktivnogo programuvannya ta chisto funkcijne programuvannya dlya togo shob skonstruyuvati interfejs koristuvacha unemozhlivlyuyuchi destruktivni zmini Sintaksis shozhij na Haskell ale znachno sproshenij i specializovanij Vihidnij kod na Elm kompilyuyetsya v nativnij JavaScript Skompilovanij JavaScript mistit kod dodatka yake keruyut pidderevo DOM ElmParadigma funkcijne reaktivne programuvannya funkcijne programuvannyaData poyavi 2012Tvorci Evan ChaplickiOstannij reliz 0 19 1 21 zhovtnya 2019 Sistema tipizaciyi statichna silna vividnaPid vplivom vid Haskell Standard ML OCaml F Vplinula na Redux arhitektura 1 Mova realizaciyi Haskell 2 Licenziya Dozvilna Pereglyanuta BSD 3 Zvichajni rozshirennya fajliv elmRepozitorij vihidnogo kodu github com elm compilerVebsajt elm lang org Zmist 1 Istoriya 2 Osoblivosti 2 1 Nezminnist 2 2 Statichna tipizaciya 2 3 Sistema moduliv 2 4 Vzayemodiya z HTML CSS ta JavaScript 3 Obmezhennya 4 Instrumenti 5 Priklad kodu 6 Znoski 7 PosilannyaIstoriya red Elm sproektuvav Evan Chaplicki v svoyij diplomnij roboti 2012 roku 4 Pershij vipusk Elm mistiv prikladi ta onlajn redaktor yakij dozvolyav dosit prosto sprobuvati movu u brauzeri 5 Evan Chaplicki priyednavsya do Prezi v 2013 abi prodovzhiti robotu nad Elm 6 a v 2016 perejshov do NoRedInk yak Open Source Engineer takozh zasnuvavshi Elm Software Foundation 7 Pochatkova realizaciya kompilyatora Elm nacilena na generaciyu HTML CSS ta JavaScript kodu 8 Nabir instrumentiv movi prodovzhiv rozshiryuvatis i teper vklyuchaye REPL 9 menedzher pakunkiv 10 znevadnik yakij podorozhuye v chasi 11 ta instalyatori dlya Mac ta Windows 12 Elm takozh maye ekosistemu bibliotek stvorenih spilnotoyu 13 Osoblivosti red Elm mistit nevelikij ale viraznij nabir konstrukcij movi yakij vklyuchaye if virazi let virazi case virazi anonimni funkciyi ta interpolyaciyu spiskiv 14 15 Nezminnist red Vsi znachennya v Elm nezminni sho oznachaye sho znachennya ne mozhe modifikuvatis pislya togo yak vono bulo stvorenim Elm vikoristovuye persistentni strukturi danih shob realizuvati svoyi biblioteki Array Dict ta Set 16 Statichna tipizaciya red Elm statichno tipizovanij Kozhnomu viznachennyu v Elm mozhna dati anotaciyu tipu yaka opishe tochnij format znachennya Tipi vklyuchayut primitivni tipi taki yak chisla ta ryadki bazovi strukturi danih taki yak spiski kortezhi ta asociativni masivi poznacheni ob yednannya en yaki dozvolyayut stvoryuvati novi tipi 17 Elm takozh pidtrimuye povne vivedennya tipiv tomu kompilyator mozhe pereviriti sho programa tipo bezpechna ne chitayuchi zhodnih anotacij tipiv Sistema moduliv red Elm maye sistemu moduliv yaka dozvolyaye koristuvacham rozbiti svij kod na menshi chastini yaki nazivayutsya modulyami Koristuvachi mozhut importuvati ta eksportuvati znachennya dozvolyayuchi prihovuvati detali realizaciyi shob inshim programistam ne bulo potrebi pro nih dumati Moduli skladayut osnovu sajtu biblioteki spilnoti Elm Elm Public Library 18 Vzayemodiya z HTML CSS ta JavaScript red Elm dlya spilkuvannya z JavaScript vikoristovuye abstrakciyu yaka nazivayetsya porti 19 Elm takozh maye biblioteku yaka nazivayetsya elm html i dozvolyaye koristuvacham vikoristovuvati HTML v Elm ta stilizuvati jogo z CSS 20 Dlya togo shob zmini v HTML buli efektivnimi vikoristovuyetsya virtualnij DOM 21 Obmezhennya red Na vidminu vid Haskell Elm ne maye pidtrimki klasiv tipiv en i tomu ne mozhe nadavati zagalnu abstrakciyu dlya bagatoh tipovih operacij 22 Napriklad nema zagalnoyi funkciyi map apply fold chi filter Zamist cogo taki imena mistyat svij modul yak prefiks yak v List map ta Dict map Instrumenti red Onlajn redaktor i kompilyator na elm lang org try Onlajn REPL http elmrepl cuberoot in Arhivovano 16 zhovtnya 2016 u Wayback Machine Elm Platform Arhivovano 28 lyutogo 2017 u Wayback Machine dlya instalyaciyi osnovnih instrumentiv lokalno Time Traveling Debugger Resursi dlya navchannya ta prikladi Core Libraries ta Community LibrariesPriklad kodu red Ce odnoryadkovij komentar A ce bagatoryadkovij Vin mozhe roztyaguvatis na bagato ryadkiv Mozhna vkladati bagatoryadkovi komentari odin v odnogo Tut mi opisuyemo znachennya yake nazvemo greeting Jogo tip vivedetsya yak String greeting Privit svite Ale krashe dodavati anotaciyi tipiv do deklaracij verhnogo rivnya hello String hello Privit vam Funkciyi opisuyutsya analogichno do znachen argumenti jdut za imenem funkciyi add x y x y Znovu zh taki krashe dodavati anotaciyi tipiv hypotenuse Float gt Float gt Float hypotenuse a b sqrt a 2 b 2 If virazi vikoristovuyutsya shob vidgaluzhuvati znachennya absoluteValue Int gt Int absoluteValue number if number lt 0 then number else number Zapisi vikoristovuyutsya shob mistiti znachennya z imenovanimi polyami book title String author String pages Int book title Kobzar author Shevchenko pages 237 Mozhna stvoryuvati cilkom novi tipi vikoristovuyuchi klyuchove slovo type Nastupne znachennya zadaye binarne derevo type Tree a Empty Node a Tree a Tree a Taki tipi mozhna opracovuvati za dopomogoyu case viraziv depth Tree a gt Int depth tree case tree of Empty gt 0 Node value left right gt 1 max depth left depth right Znoski red Redux Prior Art Arhiv originalu za 24 serpnya 2016 Procitovano 24 serpnya 2016 https github com elm compiler https github com evancz Elm blob master LICENSE Evan Czaplicki s thesis on Elm Arhiv originalu za 20 listopada 2016 Procitovano 24 serpnya 2016 Elm s Online Editor Arhiv originalu za 21 travnya 2017 Procitovano 24 serpnya 2016 Elm joins Prezi Arhiv originalu za 24 travnya 2015 Procitovano 24 serpnya 2016 New Adventures for Elm Arhiv originalu za 5 veresnya 2016 Procitovano 24 serpnya 2016 Elm compiler source code Elm REPL announcement Arhiv originalu za 31 travnya 2015 Procitovano 24 serpnya 2016 Elm Package Manager announcement Arhiv originalu za 13 bereznya 2016 Procitovano 24 serpnya 2016 Elm s Time Traveling Debugger Arhiv originalu za 3 travnya 2017 Procitovano 24 serpnya 2016 Elm Platform Arhiv originalu za 28 lyutogo 2017 Procitovano 24 serpnya 2016 Elm Public Libraries Arhiv originalu za 11 lyutogo 2015 Procitovano 24 serpnya 2016 The Syntax of Elm Arhiv originalu za 13 bereznya 2016 Procitovano 24 serpnya 2016 About Elm Arhivovano 30 serpnya 2017 u Wayback Machine Elm features Elm Standard Libraries Arhiv originalu za 11 lyutogo 2015 Procitovano 24 serpnya 2016 Model The Problem Elm Arhiv originalu za 9 travnya 2016 Procitovano 4 travnya 2016 Arhivovana kopiya Arhiv originalu za 11 lyutogo 2015 Procitovano 24 serpnya 2016 Ports Arhiv originalu za 13 bereznya 2016 Procitovano 24 serpnya 2016 elm html documentation Arhiv originalu za 4 veresnya 2016 Procitovano 24 serpnya 2016 Blazing Fast Html Arhiv originalu za 13 bereznya 2016 Procitovano 24 serpnya 2016 Higher Kinded types Not Expressible 396 github com elm lang elm compiler Procitovano 6 bereznya 2015 Posilannya red Oficijnij sajt Otrimano z https uk wikipedia org w index php title Elm mova programuvannya amp oldid 35428503