מהי שפה מטאלית? - הגדרה מטכנולוגיה

הגדרה - מה המשמעות של מטאל-שפה?

מנקודת מבט של שפת תכנות, שפה מתכתית היא שפה המשמשת להצהרות לגבי הצהרות שנמצאות בשפה אחרת, המכונה שפת אובייקט. Metalanguage עוזר בתיאור המושגים, הדקדוק והחפצים הקשורים לשפת תכנות מסוימת.

Metalanguage נעשה שימוש נרחב בעיצוב שפות, מנתחי, מהדרים ומוכחי משפט. הוא משמש גם במערכות פיננסיות, ביואינפורמטיקה וביישומים דומים אחרים.

Techopedia מסביר את Metalanguage

Metalanguage מעודדת תכנות פונקציונאליות ונחשבת לרוב כשפה פונקציונלית טמאה. Metalanguage משמש לרוב לתיאור הדקדוק או כל מונחים קשורים בשפות התכנות. ישנם סוגים שונים של שפות מתכת כגון שפות מתכת מסודרות, מקוננות ומוטבעות. שפה מתכתית מסודרת דומה ללוגיקה המסודרת, כאשר לכל רמה דרגת הפשטה גבוהה יותר. שפה מתכתית מקוננת שונה משפת שפה מסודרת, כאשר כל רמה כוללת גם את זו שמתחת. שפת מתכת משובצת היא שפה המוטמעת בשפת האובייקט, המופיעה באופן טבעי כמו גם רשמי.

תוכנת יישומים מורכבת לרוב מקבוצות של הוראות בשפת תכנות ברורה ופשוטה. מטאל-שפה מסוגלת לתאר תכונות סמנטיות וגם תחביריות של שפה. כאשר קיימות שפות תכנות שונות למחשבים, לרבות משפות אלה יש ערכות כללים ייחודיות המכונות תחביר; metalanguage יכול לעזור בפענוח כללים אלה.

BNF (צורת Backus-Naur) היא דוגמה לשפה מתכתית הנמצאת בשימוש נרחב בתיאור התחביר של שפות תכנות. XSL נחשב גם כשפה מתכתית המאפשרת להגדיר קידוד קבצים בתקן XML, שצריך לשנות או לעצב אותו. ליספ היא שפה פופולרית נוספת העושה שימוש בשפת המטאל שלה.