Vi arbejder på at gendanne Unionpedia-appen i Google Play Store
UdgåendeIndgående
🌟Vi har forenklet vores design for bedre navigation!
Instagram Facebook X LinkedIn

Standard ML

Indeks Standard ML

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

Indholdsfortegnelse

  1. 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.

Se Standard ML og C

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.

Se Standard ML og Common Language Runtime

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)).

Se Standard ML og Common Lisp

Compiler

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

Se Standard ML og Compiler

Funktionsprogrammering

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

Se Standard ML og Funktionsprogrammering

Haskell (programmeringssprog)

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

Se Standard ML og Haskell (programmeringssprog)

Lambdakalkyle

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

Se Standard ML og Lambdakalkyle

Mønstergenkendelse

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

Se Standard ML og Mønstergenkendelse

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.

Se Standard ML og OCaml

Open source

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

Se Standard ML og Open source

Programmeringssprog

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

Se Standard ML og Programmeringssprog

Prolog (programmeringssprog)

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

Se Standard ML og Prolog (programmeringssprog)

Rekursion

En rekursion betegner noget, der refererer til sig selv.

Se Standard ML og Rekursion

Remote procedure call

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

Se Standard ML og Remote procedure call

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

Se Standard ML og .NET (Microsoft)

Også kendt som SML.