שפת תכנות (Programming Language)🔥 גבוה · מתוך 4 מבחנים▼
מערכת פורמלית להגדרת חישובים ואלגוריתמים.
הרחבה ←
פרדיגמת תכנות (Programming Paradigm)🔥 גבוה · מתוך 1 מבחנים▼
סגנון בסיסי של תכנות, כגון פונקציונלי, אימפרטיבי או מונחה-עצמים.
הרחבה ←
תכנות פונקציונלי (Functional Programming)🔥 גבוה · מתוך 4 מבחנים▼
פרדיגמה המדגישה פונקציות טהורות, אי-שינוי מצב וביטויי למדא.
הרחבה ←
Scheme/Racket🔥 גבוה · מתוך 4 מבחנים▼
ניב של שפת Lisp, המשמשת רבות ללימוד שפות תכנות ופיתוח מפרשים.
הרחבה ←
תחביר בטון (Concrete Syntax)🔥 גבוה · מתוך 4 מבחנים▼
הצורה המילולית של תוכנית כפי שהיא נכתבת על ידי המתכנת.
הרחבה ←
תחביר מופשט (Abstract Syntax Tree - AST)🔥 גבוה · מתוך 4 מבחנים▼
ייצוג היררכי של מבנה התוכנית, המופשט מפרטי התחביר הבטון.
הרחבה ←
סמנטיקה אופרציונלית (Operational Semantics)🔥 גבוה · מתוך 4 מבחנים▼
הגדרה פורמלית של משמעות תוכנית על ידי תיאור צעדי הביצוע שלה.
הרחבה ←
מפרש (Interpreter)🔥 גבוה · מתוך 4 מבחנים▼
תוכנית המבצעת ישירות קוד בשפת תכנות אחרת, שורה אחר שורה או ביטוי אחר ביטוי.
הרחבה ←
סביבת הערכה (Environment)🔥 גבוה · מתוך 4 מבחנים▼
מפה המקשרת שמות (משתנים) לערכים שלהם בזמן ריצה.
הרחבה ←
טווח הכרה סטטי (Lexical Scope)🔥 גבוה · מתוך 4 מבחנים▼
כלל הקובע את טווח ההכרה של משתנה לפי מיקומו בקוד המקור.
הרחבה ←
סגור (Closure)🔥 גבוה · מתוך 4 מבחנים▼
פונקציה יחד עם הסביבה שבה היא הוגדרה, המאפשרת לה לגשת למשתנים מאותה סביבה.
הרחבה ←
פונקציה מסדר גבוה (Higher-Order Function)🔥 גבוה · מתוך 4 מבחנים▼
פונקציה שיכולה לקבל פונקציות אחרות כארגומנטים או להחזירן כתוצאה.
הרחבה ←
Store (זיכרון)🔥 גבוה · מתוך 4 מבחנים▼
אזור בזיכרון המחשב המשמש לאחסון ערכים משתנים, אליהם ניתן לגשת באמצעות הפניות.
הרחבה ←
הפניה (Reference)🔥 גבוה · מתוך 4 מבחנים▼
מזהה או כתובת המצביעה למיקום ב-Store שבו מאוחסן ערך.
הרחבה ←
השמה (Assignment)🔥 גבוה · מתוך 3 מבחנים▼
פעולה המשנה את הערך המאוחסן במיקום זיכרון מסוים (הפניה).
הרחבה ←
תופעות לוואי (Side Effects)🔥 גבוה · מתוך 4 מבחנים▼
שינויים במצב המערכת (כגון שינוי משתנה גלובלי או קלט/פלט) הנגרמים על ידי פונקציה.
הרחבה ←
מערכת טיפוסים (Type System)🔥 גבוה · מתוך 4 מבחנים▼
סט של כללים המקצים טיפוסים לביטויים ומבטיחים את נכונותם.
הרחבה ←
טיפוס סטטי (Static Type)🔥 גבוה · מתוך 4 מבחנים▼
טיפוס של ביטוי הנקבע בזמן קומפילציה (לפני ריצה).
הרחבה ←
טיפוס דינמי (Dynamic Type)🔥 גבוה · מתוך 1 מבחנים▼
טיפוס של ביטוי הנקבע בזמן ריצה.
הרחבה ←
בדיקת טיפוסים (Type Checking)🔥 גבוה · מתוך 4 מבחנים▼
תהליך אימות שבו מערכת הטיפוסים בודקת אם תוכנית עומדת בכללי הטיפוסים שלה.
הרחבה ←
היסק טיפוסים (Type Inference)🔥 גבוה · מתוך 4 מבחנים▼
תהליך שבו מערכת הטיפוסים קובעת אוטומטית את הטיפוסים של ביטויים ללא צורך בהצהרה מפורשת.
הרחבה ←
פולימורפיזם (Polymorphism)🔥 גבוה · מתוך 4 מבחנים▼
היכולת של קוד (פונקציה, מבנה נתונים) לעבוד עם ערכים מטיפוסים שונים.
הרחבה ←
איחוד (Unification)🔥 גבוה · מתוך 4 מבחנים▼
אלגוריתם למציאת המופע המשותף ביותר לשני ביטויים, המשמש בהיסק טיפוסים.
הרחבה ←
משתנה טיפוס (Type Variable)🔥 גבוה · מתוך 4 מבחנים▼
מזהה המייצג טיפוס לא ידוע, המשמש באלגוריתמי היסק טיפוסים.
הרחבה ←
מופע (Substitution)🔥 גבוה · מתוך 4 מבחנים▼
מפה המקשרת משתני טיפוס לטיפוסים ספציפיים או למשתני טיפוס אחרים.
הרחבה ←
Hindley-Milner🔥 גבוה · מתוך 3 מבחנים▼
מערכת טיפוסים ואלגוריתם היסק טיפוסים פולימורפי נפוץ בשפות פונקציונליות.
הרחבה ←
למבדא קלקולוס (Lambda Calculus)🔥 גבוה · מתוך 2 מבחנים▼
מודל פורמלי של חישוב המבוסס על הפשטה של פונקציות ויישומן.
הרחבה ←
מכונת מצבים מופשטת (Abstract State Machine)בינוני · מתוך 1 מבחנים▼
מודל מתמטי של מערכת חישובית המגדיר את מצביה ומעבריה.
הרחבה ←
קומפילציה (Compilation)בינוני▼
תהליך תרגום קוד בשפת מקור לשפת יעד (לרוב שפת מכונה) לפני ביצוע.
הרחבה ←
איסוף זבל (Garbage Collection)נמוך▼
תהליך אוטומטי לניהול זיכרון, המשחרר זיכרון שאינו בשימוש עוד.
הרחבה ←