איך לתרגל שאלות let בשפות תכנות?

באתר prepd תמצאו שאלות let בשפות תכנות ממבחנים אמיתיים של האוניברסיטה הפתוחה. השאלות ממוינות לפי רמת קושי.

כמה שאלות let יש בשפות תכנות?

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

מה חשוב לדעת על let לקראת מבחן בשפות תכנות?

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

שפות תכנות - let

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

סטטיסטיקות מבחנים

תתי-נושאים של Scheme

רמת קושי:

להלן תוכנית בשפת PROC ("יישגור"):

תוצאת הריצה של תוכנית זו היא:

א. proc-val

ב. (num-val 6)

ג. (num-val 5)

ד. (bool-val #t)

ה. (bool-val #f)

ו. התוכנית מחזירה שגיאה בזמן הריצה.

נמקו והסבירו את תשובתכם ע"י הסבר דרך חישוב תוצאת התוכנית. את תשובתכם רשמו במחברת הבחינה בלבד.

העתק שאלה

שתף שאלה

סמן כחשוב

סמן כבוצע

האוניברסיטה הפתוחהמועד ב · 2024 · סמסטר ב

★★★★★

Schemeתכנות פונקציונלימודל הסביבהמעקב אחר קודlet

שאלה א (7 נקודות)

להלן מופיעים ההגדרות של scanner ו-parser של שפת "יוטורג" עיסקו להשלמת הטעם הראשוני של שפה.

ה-scanner:

(define the-lexical-spec

^{'} ((whitespace (whitespace) skip)

(\text{comment } (\text{"\#" (arbno (\text{not } \#\backslash\text{newline}))) \text{ skip})

(\text{identifier}(\text{letter (arbno (or letter digit } \text{\"_\" \"-\" \"?\")))

symbol)

(\text{number (digit (arbno digit))) number)

(\text{number (\"-\" digit (arbno digit))) number)

))

ה-parser:

(define the-grammar

^{'} ((program (expression) a-program)

(expression (number) const-exp)

(\text{expression (\"-(\" expression \",\" expression \")\"))

diff-exp)

(expression (\overset{z}{¨} ero? ¨ \ddot{(} ¨ expression \ddot{)} \ddot{)}) zero?-exp)

(expression (\ddot{i} f ¨ expression \ddot{t} hen ¨ expression \overset{e}{¨} lse ¨ expression))

if-exp)

(expression (identifier) var-exp)

(expression (\ddot{l} et ¨ identifier \overset{=}{¨} ¨ expression \ddot{i} n ¨ expression))

let-exp)

(expression (\overset{p}{¨} roc ¨ \ddot{(} ¨ identifier \ddot{)} \ddot{)} expression)

proc-exp)

(expression (\ddot{(} ¨ expression expression \ddot{)} \ddot{)}) call-exp)

(expression

את התשובה יש לכתוב במחברת הבחינה

העתק שאלה

שתף שאלה

סמן כחשוב

סמן כבוצע

האוניברסיטה הפתוחהמבחן 2017 סמסטר ב · 2017 · סמסטר ב

★★★★★

מפרשיםevalמודל הסביבהרקורסיהletSchemeסגורים

שאלה ב (18 נקודות)

להלן פונקציות value-of של שפת "יוטורג":

הסתירו מה הם השינויים והתוסופות החדשים בהשוואה לשפה בעמוד 79. את התשובה יש לכתוב במחברת הבחינה.

הערות:

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

;; value-of : Exp \times Env \to ExpVal

;; Page: 79

(define value-of

(lambda (exp env)

(cases expression exp

(\text{const-exp (num) (num-val num))

(\text{var-exp (var) (deref (apply-env env var))))

(diff-exp (exp1 exp2)

(\text{let ((val1 (value-of exp1 env))

(\text{val2 (value-of exp2 env))))

(\text{let ((num1 (expval->num val1))

(\text{(num2 (expval->num val2))))

(\text{num-val (- num1 num2))))))

(zero?-exp (exp1)

(\text{let ((val1 (value-of exp1 env)))

(\text{let ((num1 (expval->num val1)))

(\text{if (zero? num1) (bool-val \#t) (bool-val \#f))))))

(if-exp (exp1 exp2 exp3)

(\text{let ((val1 (value-of exp1 env)))

(if (expval->bool val1))

((value-of exp2 env)

(\text{(value-of exp3 env)))))

(let-exp (var exp1 body)

(\text{let ((v1 (value-of exp1 env)))

((value-of body)

(\text{(extend-env var (newref v1) env))))))

(proc-exp (var body)

(\text{(proc-val (procedure var body env))))

(call-exp (rator rand)

(\text{let ((proc (expval->proc (value-of rator env))))

(\text{(arg (value-of rand env))))

(\text{(apply-procedure proc arg))))

העתק שאלה

שתף שאלה

סמן כחשוב

סמן כבוצע

האוניברסיטה הפתוחהמבחן 2017 סמסטר ב · 2017 · סמסטר ב

★★★★★

מפרשיםevalמודל הסביבהמצבletSchemeתחום לקסיקליסגורים

שאלה ג (25 נקודות)

להלן הצגה של מנונית תחכומה בשפה "יוטורג":

let y = 9

in

let z = zero? (- (y, 3))

in

proc (w)

if z then (w z) else z

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

א (10 נקודות)

הקצו ליטורי תחכומים של טיפוס Type Variables של כל התחכומים בביטויים, וחברו משוואות משתנאות מהתחכומים לטיפוסים של קיימים שם.

העתק שאלה

שתף שאלה

סמן כחשוב

סמן כבוצע

האוניברסיטה הפתוחהמבחן 2017 סמסטר ב · 2017 · סמסטר ב

★★★★★

הסקת טיפוסיםמערכות טיפוסיםlet

שאלות let בשפות תכנות עם פתרונות

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