Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Descarregar
Accés més ràpid que el navegador!
 

ML Estàndard

Índex 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.

18 les relacions: Chicago, Compilador, Copenhaguen, Currificació, Forma de Backus i Naur Ampliada, Interfície de programació d'aplicacions, Laboratoris Bell, Linux, Llenguatge d'assemblador, Llenguatge de programació, ML, OCaml, Princeton, Temps de compilació, Teorema, Universitat Yale, 1990, 1997.

Chicago

Chicago és la tercera ciutat més gran dels Estats Units, l'àrea metropolitana de la qual té una població de quasi 10 milions d'habitants.

Nou!!: ML Estàndard і Chicago · Veure més »

Compilador

Diagrama de blocs de l'operació d'un bon compilador. Un compilador és un programa informàtic que tradueix un programa escrit en un llenguatge de programació a un altre llenguatge de programació, generant un programa equivalent que la màquina serà capaç d'interpretar.

Nou!!: ML Estàndard і Compilador · Veure més »

Copenhaguen

Copenhaguen (København en danès) és la capital i la ciutat més gran de Dinamarca.

Nou!!: ML Estàndard і Copenhaguen · Veure més »

Currificació

En tecnologies de la informació currificar és una tècnica, inventada per Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix a transformar una funció amb més d'un paràmetre en una composició de funcions que incorporen progressivament, d'un en un, els paràmetres de partida.

Nou!!: ML Estàndard і Currificació · Veure més »

Forma de Backus i Naur Ampliada

En informàtica la Forma de Backus i Naur Ampliada amb denominació anglosaxona Extended Backus-Naur Form o EBNF és una notació que té per finalitat descriure les regles sintàctiques dels llenguatges de programació.

Nou!!: ML Estàndard і Forma de Backus i Naur Ampliada · Veure més »

Interfície de programació d'aplicacions

Una interfície de programació d'aplicacions (en anglès Application Programming Interface, API) és una interfície que especifica com diferents components de programes informàtics haurien d'interaccionar.

Nou!!: ML Estàndard і Interfície de programació d'aplicacions · Veure més »

Laboratoris Bell

Els Laboratoris Bell (en anglès: Bell Labs) són diferents centres d'investigació científica i tecnològica ubicats en més de deu països i que pertanyen a l'empresa estatunidenca Lucent Technologies.

Nou!!: ML Estàndard і Laboratoris Bell · Veure més »

Linux

Linux és una familia de sistemes operatius formats pel Nucli del sistema operatiu (kernel) Linux juntament amb les utilitats GNU, denominat de vegades GNU/Linux.

Nou!!: ML Estàndard і Linux · Veure més »

Llenguatge d'assemblador

I'Intel 8088. En blau es mostren les adreces de memòria on es troba el codi. El '''codi màquina''' (en hexadecimal) està ressaltat en vermell. I en magenta l'equivalent en '''llenguatge assemblador'''. A sota es veu un fragment de text en hexadecimal i en ASCII. Un llenguatge d'assemblador (en anglès assembly language i l'abreviació asm) és un llenguatge de programació de baix nivell.

Nou!!: ML Estàndard і Llenguatge d'assemblador · Veure més »

Llenguatge de programació

Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.

Nou!!: ML Estàndard і Llenguatge de programació · Veure més »

ML

ML és un llenguatge de programació funcional desenvolupat per Robin Milner i altres a finals del 1970 a la Universitat d'Edimburg amb una sintaxi inspirada en el llenguatge abstracte ISWIM que ha donat lloc a una família de llenguatges.

Nou!!: ML Estàndard і ML · 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!!: ML Estàndard і OCaml · Veure més »

Princeton

Campus de Princeton. La ciutat estatunidenca de Princeton es troba al comtat de Mercer, a Nova Jersey.

Nou!!: ML Estàndard і Princeton · Veure més »

Temps de compilació

S'anomena temps de compilació (compile-time en anglès) a l'interval de temps en què un compilador compila codi escrit en un llenguatge de programació a una forma de codi executable per una màquina.

Nou!!: ML Estàndard і Temps de compilació · Veure més »

Teorema

editor.

Nou!!: ML Estàndard і Teorema · Veure més »

Universitat Yale

La Universitat Yale és una institució d'educació superior privada situada a New Haven, Connecticut.

Nou!!: ML Estàndard і Universitat Yale · Veure més »

1990

1990 (MCMXC) fou un any començat en dilluns.

Nou!!: ML Estàndard і 1990 · Veure més »

1997

1997 (MCMXCVII) fou un any normal, començat en dimecres segons el calendari gregorià.

Nou!!: ML Estàndard і 1997 · Veure més »

Redirigeix aquí:

SML, Sml, Standard ML, Standard ml.

SortintEntrant
Hey! Estem a Facebook ara! »