Elm (linguaggio di programmazione): differenze tra le versioni

Versione delle 14:56, 7 mag 2017

Versione attuale delle 23:19, 11 ago 2025

(21 versioni intermedie di 12 utenti non mostrate)

Riga 1:

{{Linguaggio di programmazione

|nome = Elm

|autore = [[Evan Czaplicki]]

|data = [[2012]]

|versione = 0.1819.1 (ottobre 2019)

|utilizzo = generazione pagine Web dinamiche

|paradigmi = [[programmazione funzionale]]

|tipizzazione = forte, statica, inferita

|estensione = .elm

|influenzato_da = [[Haskell (linguaggio)|Haskell]], [[Standard ML]], [[OCaml]], [[F Sharp (programming language)|F#]]

|ha_influenzato = <!-- Lista di linguaggi influenzati dal linguaggio in esame, citare le fonti -->

|implementazione_riferimento = <!-- Implementazione di riferimento: compilatore o interprete? -->

Riga 15 ⟶ 14:

|licenza = Permissiva ([[BSD license|Revised BSD]]) <ref name=license>https://github.com/evancz/Elm/blob/master/LICENSE</ref>

|lingua = Inglese

|sito_web = {{URL|elm-lang.org}}

}}

'''Elm''' è un [[linguaggio di programmazione]] ___domain-specific per creare dichiarativamente [[GUI|interfacce- utente grafiche]] di tipo declarativo basate su [[browser web]]. Elm è puramente [[funzionale]], ed è sviluppato dando priorità all'[[usabilità]], alle prestazioni, e alla [[Robustezza (informatica)|robustezza]]. Sostiene di evitare praticamente qualunque eccezione in fase di esecuzione <ref>{{Cita web|url=httphttps://elm-lang.org/|titolo=Elm home page}}</ref>, grazie alle verifiche statiche del [[compilatore]] Elm.

== Storia ==

Elm è stato progettato inizialmente da Evan Czaplicki come progetto di tesi nel 2012.<ref>[httphttps://elm-lang.org/assets/papers/concurrent-frp.pdf Elm: Concurrent FRP for Functional GUIs]</ref> 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.<ref>[http{{Cita web |url=https://elm-lang.org/try |titolo=Elm's Online Editor] |accesso=26 aprile 2025 }}</ref> Evan Czaplicki è entrato a far parte di [[Prezi]] nel 2013 per lavorare su Elm,<ref>[http{{Cita web |url=https://elm-lang.org/blognews/announce/Elmelm-and-Prezi.elmprezi|titolo=Working on Elm joinsfull-time Prezi]|accesso=26 aprile 2025 }}</ref> e nel 2016 si è spostato in [[NoRedInk]] come ingegnere [[Open source|Open Source]], dando inoltre vita alla Elm Software Foundation.<ref>[httphttps://elm-lang.org/blog/new-adventures-for-elm New Adventures for Elm]</ref>

L'implementazione iniziale del compilatore Elm genera codice HTML, CSS, e JavaScript.<ref>[https://github.com/elm-lang/Elm Elm compiler source code]</ref> L'insieme di strumenti di base si è continuato a espandere, e adesso comprende un [[Read–eval–print loop|interprete interattivo]],<ref>[http{{Cita web |url=https://elm-lang.org/blognews/announce/Repl.elmrepl |titolo=Elm REPL announcement] |accesso=26 aprile 2025 }}</ref> un gestore di pacchetti,<ref>[http{{Cita web |url=https://elm-lang.org/blognews/announce/PackageManager.elmpackage-manager |titolo=Elm Package ManagerManage announcement]|accesso=26 aprile 2025 }}</ref> un debugger che consente viaggi nel tempo,<ref>[{{Cita web |url=http://debug.elm-lang.org/# |titolo=Elm's Time-Traveling Debugger] |accesso=4 gennaio 2017 |urlarchivio=https://web.archive.org/web/20170503192633/http://debug.elm-lang.org/# |dataarchivio=3 maggio 2017 |urlmorto=sì }}</ref> e degli installatori per Mac e Windows.<ref>[https://github.com/elm-lang/elm-platform Elm Platform]</ref> Inoltre, Elm ha un ecosistema di librerie create dalla comunità di utenti.<ref>[httphttps://package.elm-lang.org/packages/ Elm Public Libraries] {{webarchive|url=https://web.archive.org/web/20150211183935/http://package.elm-lang.org/packages/ |data=11 febbraio 2015 }}</ref>

== 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.<ref name="syntax">[http{{Cita web |url=https://elm-lang.org/learn/Syntax.elm |titolo=The Syntax of Elm] |accesso=1 maggio 2019 |urlarchivio=https://web.archive.org/web/20160313052210/http://elm-lang.org/learn/syntax.elm |dataarchivio=13 marzo 2016 |urlmorto=sì }}</ref><ref>[httphttps://elm-lang.org/About.elm About Elm] {{Webarchive|url=https://web.archive.org/web/20170830200520/http://elm-lang.org/About.elm# |data=30 agosto 2017 }} Elm features</ref> 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 suasue librerie <code>Array</code>, <code>Dict</code>, e <code>Set</code>.<ref>[httphttps://package.elm-lang.org/packages/elm-lang/core/latest/ Elm Standard Libraries]</ref>

=== Tipizzazione statica ===

Riga 39 ⟶ 37:

* 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 <ref>{{Cita web|titolo=Model The Problem|url=httphttps://elm-lang.org/guide/model-the-problem|sito=Elm|accesso=4 maggio 2016|cid=tagged-unions|urlarchivio=https://web.archive.org/web/20160509201212/http://elm-lang.org/guide/model-the-problem|dataarchivio=9 maggio 2016|urlmorto=sì}}</ref>

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.

Riga 45 ⟶ 43:

=== 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|sito Web]] della libreria deladella comunità di Elm, la [https://web.archive.org/web/20150211183935/http://package.elm-lang.org/packages/ Elm Public Library].

=== Interoperabilità con HTML, CSS, e JavaScript ===

Elm usa un'astrazione chiamata "porte" per comunicare con [[JavaScript]].<ref>[http{{Cita web |url=https://elm-lang.org/learn/Ports.elm |titolo=Ports] |accesso=4 gennaio 2017 |urlarchivio=https://web.archive.org/web/20160313045712/http://elm-lang.org/learn/ports.elm |dataarchivio=13 marzo 2016 |urlmorto=sì }}</ref> Consente ai valori di fluire dentro e fuori da programmi Elm, rendendo possibile comunicare fra Elm e JavaScript.

Elm ha una libreria chiamata "elm-html", che i programmatori possono usare per specificare codice HTML e CSS dall'interno di Elm.<ref>[httphttps://package.elm-lang.org/packages/evancz/elm-html/latest/ elm-html documentation]</ref> Usa un approccio al [[DOM virtuale]] per rendere efficienti gli aggiornamenti.<ref>[http{{Cita web |url=https://elm-lang.org/blog/Blazing-Fast-Html.elm |titolo=Blazing Fast Html] |accesso=1 maggio 2019 |urlarchivio=https://web.archive.org/web/20160313060056/http://elm-lang.org/blog/blazing-fast-html.elm |dataarchivio=13 marzo 2016 |urlmorto=sì }}</ref>

== Limitazioni ==

Riga 60 ⟶ 58:

* Editor online [http://elm-lang.org/try elm-lang.org/try] per facili esperimenti

* [https://githubellie-app.com/elm-lang/elm-platformnew PiattaformaEllie], Elm]un editor perpiù installareavanzato localmentecon glisupporto strumentiall'aggiunta di baselibrerie

* [httphttps://debugguide.elm-lang.org/ DebuggerLa cheguida viaggiaufficiale] neled [http://elm-lang.org/examples tempoesempi]

* [httphttps://package.elm-lang.org/Learn.packages/elm/core/latest/ RisorseLibreria di apprendimentobase] e [http://package.elm-lang.org/Examples.elmpackages/ librerie della esempicomunità]

* [https://lydell.github.io/elm-watch elm-watch] per sviluppo con live reload

* [http://package.elm-lang.org/packages/elm-lang/core/latest/ Librerie di base] e [http://package.elm-lang.org/packages/ librerie della comunità]

* [https://github.com/jfmengels/node-elm-review elm-review] per il linting

* [https://github.com/avh4/elm-format elm-format], il formattatore standard utilizzato dalla maggior parte degli utenti

== Codice di esempio ==

<sourcesyntaxhighlight lang="elm">

-- Questo è un commento su una sola riga

Riga 76:

{- I commenti su più righe possono essere {- annidati -} -}

{--| Qui definiamo un valore chiamato ''saluti''. Il tipo viene inferito essere String.

La pipe (|) all'inizio del commento indica che questa è documentazione per il valore che stiamo definendo.

-}

saluti =

"Hello World!"

{--| È meglio aggiungere annotazioni di tipo alle dichiarazioni di primo livello.

-}

ciao : String

ciao =

"Ehilà."

{--| Le funzioni si dichiarano allo stesso modo, con gli argomenti che seguono il nome della funzione.

-}

aggiungi x y =

x + y

{--| Ancora, è meglio aggiungere le annotazioni di tipo.

-}

ipotenusa : Float -> Float -> Float

ipotenusa a b =

sqrt (a ^ 2 + b ^ 2)

-- Le espressioni `if` si usano per fare diramazioni in base a valori

valoreAssoluto : Int -> Int

valoreAssoluto numero =

-- Le espressioni `if` si usano per fare diramazioni in base a valori

if numero < 0 then -numero else numero

-numero

else

-- I record si usano per tenere valori in campi aventi un nome

numero

libro : { titolo:String, autore:String, pagine:Int }

{--| I record si usano per tenere valori in campi aventi un nome

-}

libro : { titolo : String, autore : String, pagine : Int }

libro =

{ titolo = "Steppenwolf"

, autore = "Hesse"

, pagine = 237

}

{--| Possiamo creare tipi completamente nuovi usando la parola-chiave `type`.

-- Il seguente valore rappresenta un albero binario.

-- Il seguente valore rappresenta un albero binario.

-}

type Albero a

= Vuoto

| Nodo a (Albero a) (Albero a)

{--| È possibile ispezionare questi tipi usando espressioni `case`.

-}

profondita : Albero a -> Int

profondita albero =

case albero of

Vuoto -> 0

0

Nodo valore sinistra destra ->

1 + max (profondita sinistra) (profondita destra)

</syntaxhighlight>

</source>

==Note==

Riga 126 ⟶ 151:

==Collegamenti esterni==

* {{Collegamenti esterni}}

{{Portale|informatica}}

[[Categoria:Linguaggi di programmazione funzionali]]