Redigerer Programmeringsspråk (avsnitt)

==Hensikt==
Alle de [[dataprogram]] som en [[datamaskin]] kjører foreligger i [[maskinkode]]. Da det er upraktisk for et menneske [[Programmering|å programmere]] direkte i maskinkode, er det laget ulike programmeringsspråk som gjør det enklere for programmereren å skrive et dataprogram. For å kunne nyttegjøre seg av det programmet en skriver i et visst programmeringsspråk ([[kildekode]]n), trengs en [[kompilator]] som oversetter kildekoden til maskinkode, som da maskinen kan bruke til å kjøre programmet.

Mange programmeringsspråk er blitt tatt fram, endret for å møte nye utfordringer, kombinert med andre språk og til slutt falt ut av bruk. Flere forsøk på å ta frem universelle programmeringsspråk er gjort, men disse er alltid blitt utkonkurrert av mer spesialiserte varianter. Behovet for ulike språk beror på de forskjellige sammenhengene språket skal brukes i:

* Program utgjør alt fra bittesmå ''skript'' skrevet av amatører til enorme systemer skrevet av hundrevis av utviklere.
* Programmerere har forskjellige ferdighetsnivåer, alt fra nybegynnere til eksperter.  Kompleksiteten de forskjellige kan håndtere er ulik.
* Programmene må finne en balanse mellom størrelse, hastighet, vedlikeholdbarhet og andre parametre.  Systemene de skal kjøre på er alt fra enkle [[mikrokontroller]]e til [[superdatamaskin]]er.
* Program som er «ferdigskrevet» kan være under nesten konstant modifikasjon, eller de kan være statiske gjennom hele sin levetid over flere tiår.
* Programmererens kompetanse i et bestemt språk kan også være utslagsgivende.

En generell trend innenfor utviklingen av programmeringsspråk er at nivået på abstraksjonene har blitt høyere med tiden.  De tidligste programmeringsspråkene var veldig nær datamaskinens egne, innebygde konsepter.  Etter hvert ble det bygget på mer abstrakte konsepter som lot programmeren uttrykke idéer på et høyere nivå.  Dette lot programmererne skrive mer kode på kortere tid..<ref>Brooks, jr., Frederick P. (1982): ''The Mythical Man-Month,'' Addison-Wesley, s. 93-94</ref>

Idéen om at naturlige språk vil overta for programmeringsspråkene ble tidlig lansert i denne prosessen. Dette målet er fremdeles langt unna, og om det egentlig er noen fordel er åpent for debatt.  [[Edsger Dijkstra]] hevdet at for å unngå meningsløse konstruksjoner er det viktig å nytte et formelt språk, og var helt avvisende til konseptet.<ref>Dijkstra, Edsger W. [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html On the foolishness of «natural language programming»], EWD667.</ref>  [[Alan Perlis]] var også avvisende til konseptet. .<ref>Perlis, Alan, [http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html «Epigrams on Programming»]   {{Wayback|url=http://www-pu.informatik.uni-tuebingen.de/users/klaeren/epigrams.html |date=19990117034445 }}, ''SIGPLAN Notices'', Vol. 17, No. 9, September 1982, s. 7-13</ref>