שפת תכנות הצהרתית או DML היא סוג של שפת תכנות שאינה דורשת מהמתכנת להגדיר שלבים שהמכונה תבצע, אך במקום זאת מצהיר ומתאר עובדות ויחסים בין נקודות נתונים ו אלמנטים.
לאחר מכן משתמש הקצה של התוכנית יוצר שאילתות או חיפושים ומקבל תוצאות על סמך שאילתות אלו. דוגמה לשפה מסוג זה היא SQL או Structured Query Language המאפשרת לחפש מידע במאגרי מידע.
שאילתות המוזנות באמצעותו מושכות קבוצה של רשומות על סמך כמה קריטריונים נתונים ואף מקיימות איתם אינטראקציה, כולל פעולות כמו מחיקה או עריכה של רשומות במסד הנתונים.
Technipages מסביר שפת תכנות הצהרתית
במקום שפת תכנות בודדת, זהו סוג של שפת תכנות ששמה את הפוקוס במוחו של המפתח ולא בתפקוד המכונה.
זה אומר שבמקום שבו סוגים אחרים של שפות תכנות עלולים לומר למסד נתונים לפתוח רשומה אחת, בדוק את זה, סגור אותו ואז פתח את הבא, בדוק את המידע וסגור אותו, המשתמש עוקב אחר קו 'אנושי' יותר של חושב. זה אומר שהמשתמש יוצר שאילתה שאומרת למכונה להעלות רשימה של כל הרשומות התואמות לקריטריונים מסוימים.
המחשב עדיין מבצע את אותן פעולות, אבל המשתמש לא צריך לציין בדיוק מה לעשות. זה מקל על אנשים שאינם מכירים שפות תכנות באופן כללי.
SQL - דוגמה ל-DPL - יכול לשמש גם אנשים שלא מכירים אחרת את הקידוד. זה אמנם דורש הבנה בסיסית, אבל לא הרבה מומחיות.
DPLs אינם שימושיים עבור כל סוג של משימה ויישום, אבל יש להם את השימושים שלהם. בדומה ל-SQL, גם PROLOG ו-MySQL הן שפות מסוג זה.
שימושים נפוצים בשפת תכנות הצהרתית
- שפות תכנות הצהרתיות משתמשות בתיאורים של פונקציות במקום בהוראות מדויקות.
- DPLs מושלם עבור שפות המקיימות אינטראקציה עם אוספים גדולים של נתונים כמו מסדי נתונים.
- תכנות הצהרתי מתאר תוצאות רצויות ולא תהליכים מדויקים.
שימושים לרעה נפוצים בשפת תכנות הצהרתית
- DPL מתאר שפות תכנות המשמשות עבור תוכניות כמו Word ומשחקי וידאו.