8 les relacions: Avaluació tardana, Compilador Haskell de Glasgow, Haskell, Informàtica, ML Estàndard, OCaml, Programació funcional, Scala (llenguatge de programació).
Avaluació tardana
En programació d'ordinadors, avaluació tardana (en anglès: Lazy evaluation) és la tècnica de retardar un càlcul fins que se'n requereixi el resultat.
Nou!!: Desforestació (informàtica) і Avaluació tardana · Veure més »
Compilador Haskell de Glasgow
ghc, ordre d'ordinador que respon a la sigla de "Glasgow Haskell Compiler", en català Compilador Haskell de Glasgow, és un compilador nadiu de codi lliure per al llenguatge de programació funcional Haskell, el qual va ser originalment desenvolupat a la universitat de Glasgow per Simon Peyton Jones i Simon Marlow.
Nou!!: Desforestació (informàtica) і Compilador Haskell de Glasgow · Veure més »
Haskell
Haskell és un llenguatge de programació funcional estandarditzat de semàntica no estricta i avaluació tardana de les expressions (ang: lazy evaluation) en el moment que se'n demana el valor i pren el nom del matemàtic Haskell Curry.
Nou!!: Desforestació (informàtica) і Haskell · Veure més »
Informàtica
Ordinador executant la distribució Debian del sistema operatiu GNU/Linux. (any 2002) La Informàtica és la ciència o tècnica relativa a la tecnologia que estudia el tractament automàtic de la informació utilitzant dispositius electrònics i sistemes computacionals.
Nou!!: Desforestació (informàtica) і Informàtica · Veure més »
ML Estàndard
LML Estàndard, conegut per les sigles SML, de l'anglès Standard ML, és un llenguatge de programació funcional per a aplicacions de tota mena, amb comprovació de tipus en temps de compilació, i inferència de tipus.
Nou!!: Desforestació (informàtica) і ML Estàndard · Veure més »
OCaml
OCaml, anteriorment denominat Objective Caml és un llenguatge de programació de la família ML, extensió i versió actual del llenguatge de programació Caml, acrònim de "Categorical Abstract Machine Language", creat per Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy i altres el 1996, amb construccions d'Orientació a Objectes, successora de l'extensió anterior del mateix llenguatge anomenada Caml Light.
Nou!!: Desforestació (informàtica) і OCaml · Veure més »
Programació funcional
En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les dades mudables amb els seus canvis d'estat.
Nou!!: Desforestació (informàtica) і Programació funcional · Veure més »
Scala (llenguatge de programació)
Scala és un llenguatge de programació modern multi-paradigma dissenyat per a expressar patrons de programació generals d'una manera concisa, elegant i segura respecte als tipus.
Nou!!: Desforestació (informàtica) і Scala (llenguatge de programació) · Veure més »