Logo
Unionpedia
Meddelelse
Nu på Google Play
Ny! Hent Unionpedia på din Android™ enhed!
Gratis
Hurtigere adgang end browser!
 

Standard ML

Indeks Standard ML

Standard ML (SML) er et funktionsorienteret programmeringssprog som understøtter moduler, statisk typetjek og typeinferens.

15 relationer: C, Common Language Runtime, Common Lisp, Compiler, Funktionsprogrammering, Haskell (programmeringssprog), Lambdakalkyle, Mønstergenkendelse, OCaml, Open source, Programmeringssprog, Prolog (programmeringssprog), Rekursion, Remote procedure call, .NET (Microsoft).

C

C C er det tredje bogstav i det danske og latinske alfabet.

Ny!!: Standard ML og C · Se mere »

Common Language Runtime

Common Language Runtime (CLR) er den virtuelle maskine i Microsofts.NET framework der er ansvarlig for håndteringen af.NET-programmers afvikling.

Ny!!: Standard ML og Common Language Runtime · Se mere »

Common Lisp

Common Lisp, oftest forkortet CL, er en dialekt af programmeringssproget Lisp, udgivet i ANSI-standarddokument ANSI INCITS 226-1994 (R2004), (tidligere X3.226-1994 (R1999)).

Ny!!: Standard ML og Common Lisp · Se mere »

Compiler

En compiler (også kaldet kompiler eller oversætter) er et computerprogram der automatisk kan oversætte fra et programmeringssprog til et andet.

Ny!!: Standard ML og Compiler · Se mere »

Funktionsprogrammering

Inden for datalogi er funktionsorienteret programmering, funktionel programmering eller funktionsprogrammering et programmeringsparadigme hvor man betragter beregning som evalueringen af matematiske funktioner.

Ny!!: Standard ML og Funktionsprogrammering · Se mere »

Haskell (programmeringssprog)

Haskell er navnet på et rent funktionsprogrammeringssprog med en ikke-striks ("doven") semantik og stærke, statiske typer.

Ny!!: Standard ML og Haskell (programmeringssprog) · Se mere »

Lambdakalkyle

Lambdakalkyle (også Lambda-kalkyle eller Lambda kalkyle) er et formelt system indenfor den matematiske logik.

Ny!!: Standard ML og Lambdakalkyle · Se mere »

Mønstergenkendelse

Indenfor funktionel programmering betegner termen mønstergenkendelse (eng: pattern matching) muligheden for, at passe værdier op mod mønstre.

Ny!!: Standard ML og Mønstergenkendelse · Se mere »

OCaml

OCaml, oprindeligt kendt som Objective Caml, er et programmeringssprog udgivet i 1996 af Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez og andre.

Ny!!: Standard ML og OCaml · Se mere »

Open source

Begrebet open source (åben kildetekst, åben kildekode, fælleskode) stammer fra slutningen af 1990'erne.

Ny!!: Standard ML og Open source · Se mere »

Programmeringssprog

Indenfor datalogi er programmeringssprog kunstige sprog, som er designet til at udføre beregninger på en computer.

Ny!!: Standard ML og Programmeringssprog · Se mere »

Prolog (programmeringssprog)

Prolog (PROgramming in LOGic) er et deklarativt og logikbaseret programmeringssprog.

Ny!!: Standard ML og Prolog (programmeringssprog) · Se mere »

Rekursion

En rekursion betegner noget, der refererer til sig selv.

Ny!!: Standard ML og Rekursion · Se mere »

Remote procedure call

Remote Procedure Call (RPC) er en populær netværksprotokol, der implementerer client/server paradigmet.

Ny!!: Standard ML og Remote procedure call · Se mere »

.NET (Microsoft)

.NET (Microsoft).NET (udtales "dot net") er et software-framework som primært kører på Microsoft Windows, men også findes i version til Linux og Mac, og som giver mulighed for at afvikle programmer skrevet i et.NET-programmeringssprog såsom C# eller Visual Basic.NET.

Ny!!: Standard ML og .NET (Microsoft) · Se mere »

Omdirigeringer her:

SML.

UdgåendeIndgående
Hej! Vi er på Facebook nu! »