Wikipedia

Elm (linguaggio di programmazione)

linguaggio di programmazione
Versione del 4 gen 2017 alle 17:14 di UltimoGrimm (discussione | contributi) (→External links: fix)

Elm è un linguaggio di programmazione ___domain-specific per creare dichiarativamente interfacce-utente grafiche basate su browser web. Elm è puramente funzionale, ed è sviluppato dando priorità all'usabilità, alle prestazioni, e alla robustezza. Sostiene di evitare praticamente qualunque eccezione in fase di esecuzione [2], grazie alle verifiche statiche del compilatore Elm.

Elm
linguaggio di programmazione
AutoreEvan Czaplicki
Data di origine2012
Ultima versione0.18
Utilizzogenerazione pagine Web dinamiche
Paradigmiprogrammazione funzionale
Tipizzazioneforte, statica, inferita
Estensioni comuni.elm
Influenzato daHaskell, Standard ML, OCaml, F#
Implementazione di riferimento
LinguaInglese
LicenzaPermissiva (Revised BSD) [1]
Sito web [elm-lang.org elm-lang.org].

Storia

Elm è stato progettato inizialmente da Evan Czaplicki come progetto di tesi nel 2012. [3] I primo rilascio di Elm era accompagnato da molti esempi e da un editor online che rendeva facile provare il linguaggio in un browser Web. [4] Evan Czaplicki joined Prezi in 2013 to work on Elm,[5] and in 2016 moved to NoRedInk as an Open Source Engineer, also starting the Elm Software Foundation.[6]

L'implementazione iniziale del compilatore Elm genera codice HTML, CSS, e JavaScript. [7] L'insieme di strumenti di base si è continuato a espandere, e adesso comprende un interprete interattivo, [8] un gestore di pacchetti, [9] un debugger che consente viaggi nel tempo, [10] e degli installatori per Mac e Windows.[11] Inoltre, Elm ha un ecosistema di librerie create dalla comunità di utenti. [12]

Caratteristiche

Elm ha un insieme piccolo ma espressivo di costrutti linguistici, tra cui espressioni `if`, espressioni `let`, espressioni `case`, funzioni anonime, e interpolazioni di lista. [13][14] Le caratteristiche chiave comprendono l'immutabilità, la tipizzazione statica, e l'interoperabilità con HTML, CSS, e JavaScript.

Immutabilità

Tutti i valori in Elm sono immutabili, cioè nessun valore può essere modificato dopo che è stato creato. Elm usa strutture dati persistenti per implementare le sua librerie Array, Dict, e Set. [15]

Tipizzazione statica

Elm è tipizzato staticamente. Ogni definizione in Elm può ricevere un'annotazione di tipo che descrive la forma esatta del valore. Tra i tipi ci sono:

  • tipi primitivi come interi e stringhe
  • strutture dati di base come liste, ennuple, e record estendibili
  • tipi personalizzati, chiamati `unioni taggate` che consentono di costruire tipi interamente nuovi [16]

Elm supporta anche la completa inferenza di tipo, così che il compilatore possa verificare che un programma sia type-safe anche senza annotazioni di tipo.

Sistema di moduli

Elm ha un sistema di moduli che consente ai programmatori di suddividere il loro codice in parti più piccole, chiamate "moduli". I programmatori possono importare ed esportare simboli, rendendo possibile nascondere i dettagli implementativi che non sono necessari agli altri moduli. I moduli formano la base del sito Web della libreria dela comunità di Elm, la Elm Public Library.

Interoperability with HTML, CSS, and JavaScript

Elm uses an abstraction called ports to communicate with JavaScript.[17] It allows values to flow in and out of Elm programs, making it possible to communicate between Elm and JavaScript.

Elm has a library called elm-html that a programmer can use to write HTML and CSS within Elm.[18] It uses a virtual DOM approach to make updates efficient.[19]

Limitations

Unlike Haskell, Elm has no support for higher-kinded types, and thus cannot provide generic abstractions for many common operations.[20] For example, there is no generic map, apply, fold, or filter function. Instead, such names are used prefixed by their module, such as List.map and Dict.map.

Tools

Example code

-- This is a single line comment

{- This is a multi-line comment.
   It can span multiple lines.
-}

{- It is possible to {- nest -} multi-line comments -}

-- Here we define a value named ''greeting''. The type is inferred as a String.
greeting =
    "Hello World!"

 -- It is best to add type annotations to top-level declarations.
hello : String
hello =
    "Hi there."

-- Functions are declared the same way, with arguments following the function name.
add x y =
    x + y

-- Again, it is best to add type annotations.
hypotenuse : Float -> Float -> Float
hypotenuse a b =
    sqrt (a^2 + b^2)

-- If-expressions are used to branch on values
absoluteValue : Int -> Int
absoluteValue number =
    if number < 0 then -number else number

 -- Records are used to hold values with named fields
book : { title:String, author:String, pages:Int }
book =
    { title = "Steppenwolf"
    , author = "Hesse"
    , pages = 237 
    }

-- We can create entirely new types with the `type` keyword.
-- The following value represents a binary tree.
type Tree a
    = Empty
    | Node a (Tree a) (Tree a)

-- It is possible to inspect these types with case-expressions.
depth : Tree a -> Int
depth tree =
    case tree of
      Empty -> 0
      Node value left right ->
          1 + max (depth left) (depth right)

References

  1. ^ https://github.com/evancz/Elm/blob/master/LICENSE
  2. ^ Elm home page, su elm-lang.org.
  3. ^ Elm: Concurrent FRP for Functional GUIs
  4. ^ Elm's Online Editor
  5. ^ Elm joins Prezi
  6. ^ New Adventures for Elm
  7. ^ Elm compiler source code
  8. ^ Elm REPL announcement
  9. ^ Elm Package Manager announcement
  10. ^ Elm's Time-Traveling Debugger
  11. ^ Elm Platform
  12. ^ Elm Public Libraries
  13. ^ The Syntax of Elm
  14. ^ About Elm Elm features
  15. ^ Elm Standard Libraries
  16. ^ Model The Problem, su elm-lang.org. URL consultato il 4 May 2016.
  17. ^ Ports
  18. ^ elm-html documentation
  19. ^ Blazing Fast Html
  20. ^ Higher-Kinded types Not Expressible? #396, su github.com. URL consultato il 6 March 2015.

Collegamenti esterni

Estratto da "https://it.wikipedia.org/w/index.php?title=Elm_(linguaggio_di_programmazione)&oldid=85095874"