|
|
| |
אתר ללימוד מזורז> תחביר
שפת התכנות Scheme קרובה מבחינה תחבירית לחישובי lambda.
תחביר Scheme
E מייצג ביטוי.
I מייצג משתנים.
K מייצג קבועים.
תחביר
תחביר Scheme
E מייצג ביטוי.
I מייצג משתנים.
K מייצג קבועים.
E :: = K | I | (E1 E*) | (lambda (I*) E2) | (define I E3) |
הסימול '*' הבא אחרי קטגוריה תחבירית כלשהי מציין אפס או יותר חזרות של אלמנטים מאותה הקטגוריה. כך
Scheme מאפשרת ל-lambda להיות בעלת יותר מפרמטר אחד.
Scheme נבדלת מהסימונים המתמטיים המקובלים לפונקציות בכך שפונקציות Scheme נכתבות בצורה (… ארגומנטים שם הפונקציה) ובכך שארגומנטים מופרדים ע"י רווחים ולא ע"י פסיקים.
לדוגמא,
Scheme נבדלת מהסימונים המתמטיים המקובלים לפונקציות בכך שפונקציות Scheme נכתבות בצורה (… ארגומנטים שם הפונקציה) ובכך שארגומנטים מופרדים ע"י רווחים ולא ע"י פסיקים.
לדוגמא,
(+ 3 5) (fac 6) (append '(a b c) '(1 2 3 4)) |
ביטוי הראשון הוא הסכום של 3 ו- 5, השני מניח מראש את קיומה של הפונקציה fac המופעלת על הארגומנט 6
והשלישי מניח מראש את קיומה של הפונקציה append המופעלת על שתי רשימות. שים לב כי הגרש נדרש כדי
למנוע את ההערכה של הרשומות. שים לב לאחידות השימוש בסימון התחילי (prefix) עבור פונקציות.
