Programmeringssprog: Forskelle mellem versioner

 

== Programmeringsparadigmer ==

 

De fleste programmeringssprog falder inden for et eller flere [[programmeringsparadigme]]r. Blandt disse er de mest populære i dag [[procedurel programmering]], [[objektorienteret programmering]] og [[funktionsprogrammering]], selvom mange nye paradigmer er kommet til for at adressere nye problemstillinger. Der er ingen entydig måde at inddele programmeringsparadigmer. En anden mere generel måde at inddele programmeringssprog er i paradigmerne [[imperativ programmering|imperativ]] og [[deklarativ programmering]].

 

== Afvikling af kildekode ==

 

Den tekst som man udtrykker med et programmeringssprog kaldes [[kildekode]]. Kildekoden omskrives oftest til [[maskinkode]] ved hjælp af et program som fortolker og oversætter kildekoden, kaldet en [[compiler]] eller blot en oversætter. Maskinkoden er udtrykt ved et programmeringssprog hvis instruktioner kan udføres direkte på ens computer. Her er altså tale om meget simple instruktioner som i mange henseender er uegnet til programmører, men netop egnet til computere.

 

=== Typesystem ===

 

Et [[typesystem]] definerer hvordan et programmeringssprog klassificerer værdier og udtryk sådan at de hver især har [[type]]r som adskiller sig fra hinanden. Et typesystem definerer også hvordan typerne indbyrdes opfører sig. Formålet med et typesystem er at kunne verificere og tvinge at programmer til en vis grad opfører sig korrekt.