שפת תכנות היא שפה מלאכותית שמעוצבת קהילתית על מנת להנחות מכונה,
במיוחד מחשב. שפת תכנות יכולה לשמש לפיקוח פעילות של תוכנה שנמצאת במכונה ו/או להביע אלגוריתם ייחודי.
שפת התכנות הראשונה קידמה את ההמצאה של המחשב, ואנחנו השתמשנו בפעילות המדויקת של המכונה שירצנו. למשל אקורדים בפסנתרים.
אלפי שפות תכנות נוצרו בצורה ידנית במחשב, בעוד שהרבה נוצרות בכל שנה.
רוב שפות התכנות הסבירו למחשב בציווי פקודות, בנוסף למספר שפות שהיה להם תמיכה בפונקציונאליות או תכנות לחוגי, השתמשו בטפסים להסברה.
שפת תכנות בדרך כלל מפוצלת לשתי מרכיבים תחביר ומשמעות.
חלק מהשפות הוגדרו על ידי מסמך המפרט (למשל שפת C הוגדרה באופן ספציפי ל-ISO)), בזמן ששפות אחרות כמו Perl נוצרו עם יישום דומיננטי שמשמש כנקודת התייחסות.