Een programmeertaal is een formele geconstrueerde taal ontworpen om opdrachten, instructies instructies als code voor een machine, in het bijzonder een computer.

De ontwikkeling van programmeertalen is in de tijd onvergelijkbaar toch zijn er ook duidelijke parallellen met die van natuurlijke talen. Zo is het gebruik van de ene taal vele malen groter dan de andere, bestaan er inmiddels een zeer groot aantal programmeertalen, komen er nog altijd bij en worden anderen in het geheel niet meer gebruikt.