שפת תכנות היא אוסף של חוקים תחביריים (Syntax) וסמנטיים (Semantic) שנועדו לאפשר להגדיר למחשב באופן מפורט את הפעולות שעליו לבצע במצבים שונים (כלומר על סוגי קלט שונים). לעיתים משתמשים במושג שפת מחשב (Computer Language), שהוא מושג רחב מאשר שפת תכנות (Programming Language).