תכנות פונקציונלי, מודל הסביבה, זרמים, תכנות לוגי ומערכות טיפוסים
(proc (x : !) zero?(x) let z=7 in z)
let p=proc(x: ?) -(x,5) in (p -((p 5),5))
שאלות תרגול בשפות תכנות בנושא מערכות טיפוסים ממבחנים של האוניברסיטה הפתוחה. השאלות ממוינות לפי רמת קושי, עם פתרונות לבדיקה עצמית - כך שניתן ללמוד מטעויות ולהבין את דרך הפתרון לפני הבחינה. ניתן לאתר שאלות חוזרות ולהריץ מבחני סימולציה ממוקדים בנושא מערכות טיפוסים.