שאלות ותשובות - HW4 Frequently Asked Questions - HW4 Вопросы и Ответы - HW4 أسئلة وأجوبة - HW4

		.. (לתיקייה המכילה)

שאלה 2 סעיף ב: מה קורה אם יש מסלול ובו צמתים רק מסוגים א' וג

כל מסלול מכוון בעץ צריך לקיים את התכונה הבאה: קבוצת כל הצמתים מסוג א מופיעים לפני קבוצת כל הצמתים מסוג ב שמופיעים לפני קבוצת כל הצמתים מסוג ג כאשר היחס "להופיע לפני" הוא טרנזיטיבי וכל אחת מהקבוצות לעיל יכולה להיות ריקות

Hi, In question 1 when I try to call the function flat on an empty super list I get the following warning: stdIn:827.1-827.7 Warning: type vars not generalized because of value restriction are instantiated to dummy types (X1,X2,...) val it = [] : (int * ?.X1) list

It is ok, please ignore it

יש לנו שאלה בקשר לשאלה הראשונה בשיעורי הבית: הגדרנו טיפוס חדש כנדרש אבל אנחנו לא בטוחים איך אמורים להגדיר ערכים מהסוג הזה

בשאלות 1 ו2 בשיעורי הבית עליכם לממש מבניי נתונים שמקיימים תכונות סמנטיות מסוימות. יש לכם חופש לבחור איך אתם מממשים מבנים אלו וכך גם אופן הגדרת הערכים תלוי במימוש שלכם עם זאת עליכם להקפיד שהמבנים מקיימים את הנדרש ולהדגים זאת ע"י דוגמאות

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

לא, תוסיפו את ההגדרה לקובץ שלכם

I wrote a solution to question #3 and everything works fine except the fact that in section "e" I get a warning from the interpreter of the king "match nonexhaustive..." is it critical?

לא בעקרון ניתן לממש סעיף זה ולהמנע מהשגיאה הנ"ל אבל חבל לבזבז על זה את הזמן תשאיר את הסעיף כמו שהוא, לא נוריד על כך נקודות

הבהרה לגבי שאלה 3 סעיף אחרון

בסעיף זה נאמר כי מותר לכתוב פונקציות עזר אשר לא מטפלות בכל המקרים שימו לב כי אין זה תופס לגבי הפונקציה taut במלים אחרות פונקציה זו אמורה לעבוד נכון על כל פסוק

In question 1 section b, what should be the flattened list of the following lists 1. [] 2. [[]] 3. [1,2,[]]

1. [] 2. [] 3. [(1,1),(1,2)] (in the flattened list you only keep the "real" values)