מאז שהאנושות העלתה את המכשיר לתכנות הראשון נוצרו יותר מאלפיים שפות תכנות. ובכל שנה מספרם גדל בהתמדה. הם עוזרים ליצור קשר בין מכשירים שונים בציוד טכני מורכב.
שפת תכנות היא מערכת סימנים רשמית המשמשת בעת כתיבת תוכניות מחשב. הם מצייתים לכללים שונים (מילוניים, סמנטיים ותחביריים) הקובעים את מראה התוכנית ואת הפעולות שיש לבצע על ידי המחשב. יש מספר רב של שיעורים של שפות תכנות המתאימות ביותר לתחום הנושא הנבחר, יש אפילו כאלה בכנות. הם נקראים אזוטריים ואינם מיועדים לשימוש מעשי. לדוגמא, ישנן שפות בעלות תחביר ספרותי (שייקספיר, שף), שפות שנועדו להקשות על כתיבת קוד (מלבולג ', ALPACA), או עם היגיון לא אנושי - ור'אק (משתמש בהיגיון הקלינגוני. מירוץ מסרט מסע בין כוכבים). ושפות קומיות אחרות, אך מלבד קומיקס יש מספר רב של שפות מקצועיות. המחלקה העיקרית בה משתמשים כיום הן שפות מונחות עצמים. זו רמה גבוהה, המיועדת לכתיבה הן של תוכנות קטנות והן של מערכות תוכנה גדולות. הנציגים העיקריים של מחלקה זו הם Java, C #, C ++, Ruby, Python. יש לציין גם שפות תכנות לוגיות. הם מבוססים על המשפט המוכיח פרדיגמה ומבוססים על תורת ההיגיון המתמטי. שפת התכנות הלוגית המפורסמת ביותר היא פרולוג. היא משתמשת בהיגיון פרדיקטי מסדר ראשון. למרות מספר השפות הגדול שנוצר ופונקציונליות שלהן, תמיד יש צורך לבחור בכלים הנכונים ליצירת מוצרי תוכנה. לדוגמא, אם אתה צריך ליישם יישום שרת לקוח, ברור שפה לוגית אינה מתאימה לכך. לכן, יש צורך לבחור את המתאים ביותר לפתרון המשימה.
