אתר ללימוד מזורז> מבוא

מבוא

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

בתכנות פונקציונלי, הפרמטרים משחקים את אותו התפקיד שמבצעות ההשמות בתכנות ציווי. Scheme היא שפת תכנות שימושית. במונח שימושית, הכוונה היא שפונקצית scheme מיושמת בעזרת הארגומנטים שלה, ומחזירה תשובה. Scheme היא שפת בת של Lisp. רב חוקי ה-syntax של Lisp חלים עליה, אך היא מספקת היקף אוצר מילים במקום מרחב חוקים דינמי. הן Lisp והן Scheme מיושמות בעיקר בתחום הבינה המלאכותית.

החלק הפונקציונלי ה"טהור" של Scheme הוא בעל הסמנטיקה של ביטויים מתמטיים. לצורך הבהרה ואזהרה: Scheme מעריכה את הארגומנטים של הפונקציה טרם כניסתה לגוף הפונקציה (eager evaluation). הדבר מאפשר לעשות זאת ביתר קלות כאשר מדובר בערכים נומריים. לגבי ערכים שאינם נומריים, יש להקדים בכתיבת גרש בודד כדי למנוע הערכה של הארגומנטים.
הדוגמאות בפרקים הבאים יבהירו נושא זה.

Scheme היא שפה המקושרת בצורה רופפת (weakly typed) הבודקת את טיפוס המשתנה (type) באופן דינמי ובעלת חוקים הנוגעים למרחב אוצר המילים.