Programspråk, eller
programmeringsspråk, är ett språk som en människa använder för att skapa
datorprogram. Datorers grundspråk kallas
maskinkod och består av ettor och nollor, som datorns
centralprocessor (eller motsvarande enhet i
kringutrustning) direkt kan tolka. Därför har man tagit fram olika sorters programspråk som kan översätta läsbar kod bestående av siffror och tecken till
maskinkod. Den kod man skriver i
hårdvarunära språk som
assembler eller i
högnivåspråk översätts sedan till maskinkod som sparas i en exekverbar
binärfil, via
assemblering respektive
kompilering (i vissa fall både och). Ett
interpreterat språk, å andra sidan,
tolkas (interpreteras) under själva exekveringen (när man "kör" programmet). Det finns även språk som kan kompileras allteftersom programmet körs, med hjälp av en
JIT-kompilator.
