Genom tiderna har det funnits många språk för datorn. Olika typer av språk betonar olika saker om problemet, och så är bättre på att beskriva olika aspekter av lösningen, eller till och med olika typer av problem och lösningar. Datavetenskap är ständigt föränderliga, så det finns kontinuerlig utveckling av de begrepp som vi behöver använda och beteckningarna för att beskriva dessa begrepp. De tidigaste språk hade några begränsningar, så de var mycket kraftfull, men visade sig vara mycket farligt att använda.
Efter ett tag, folk utvecklat språk som var mycket säkrare att använda, men det fanns klagomål om deras brist på makt. Numera är vi börjar se språk som är både säkra och kraftfulla, men processen har en lång väg att gå än. De allra tidigaste språk måste baseras på något, och det var förmodligen enkla instruktioner ge till människor utan mycket ordförråd eller sunt förnuft dvs barn. Men även om detta är intuitivt för enkla problem, stod det klart att detta inte skala bra - det vill säga det blir oproportionerligt svårt att använda som problem storleken ökar.
Ett programmeringsspråk yta formen kallas dess syntax. De flesta programmeringsspråk är rent text; de använder sekvenser av text inklusive ord, siffror och skiljetecken, ungefär som skriftliga naturliga språk. Programmeringsspråk dela egenskaper med naturliga språk i samband med sitt syfte som bärare för kommunikation med en syntaktisk blankett skild från dess semantik, och visar familjer besläktade språk förgrenade en från ett annat språk. Många programmeringsspråk har utformats från grunden, ändras för att möta nya behov, och i kombination med andra språk.
Många har slutligen fallit i glömska. Program måste balansera hastighet, storlek och enkelhet på system från mikrokontrollers till superdatorer. Tusentals olika programspråk har skapats, främst inom dataområdet. Programmeringsspråk skiljer sig från de flesta andra