מהו חישוב?

מפרידים שלושה דברים: הקלט הנתון, סדר הפעולות, והתוצאה. אותו כלל על אותו קלט צריך להחזיר אותה תוצאה; המחשב אינו מוסיף כוונה משלו. [S003]

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

דרך בדיקה שימושית היא לקחת את הדוגמה המרכזית — חיבור שתי קוביות — ולרשום ארבע שורות: סוג הקלט, הפעולה, shape או היחידה של התוצאה, ותנאי שבו ההסבר מפסיק להיות תקף. אם שינוי מספר יחיד משנה ציר לא צפוי, או אם סכימה נעשית על axis אחר, עוצרים לפני שממשיכים. ההרגל הזה מחבר אינטואיציה לקוד בלי להניח שאנלוגיה היא הוכחה.

נוסיף בדיקת נגד שמותאמת לשאלה של הפרק. נתחיל מן הדוגמה חיבור שתי קוביות, נשנה רק רכיב אחד, ונשאל איזו תוצאה חייבת להשתנות ואיזה מאפיין חייב להישאר קבוע. אחר כך ננסה קלט קצה: אפס, ערך גדול, רצף קצר או shape מינימלי—לפי העניין. לבסוף נשווה את המסקנה לניסוח המקור ולא לכותרת שיווקית. הבדיקה נחשבת מוצלחת לאחר שהצלחנו לזהות קלט, פעולה ופלט, מבלי להוסיף הנחה שלא נכתבה. רשמו לצד התוצאה גם את היחידה, הציר או תנאי התקפות הרלוונטי.