הבלוג של ינון פרק

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

אחרי שלושה חודשים של וובינרים אני שמח לספר שהחודש את רוב הוובינרים תעבירו אתם. אנשים שמוכנים לקחת את הסיכון, לעמוד מול קהל (וירטואלי - אבל עדיין אנשים אמיתיים) ולשתף מהידע שלהם. אנשים שמוכנים להתאמץ כדי ללמוד ולהשתפר.

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

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

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

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

אנגולר או ריאקט? מיקרו סרביסס או מונולית? אפליקציה או אתר? שרת ייעודי או Serverless?

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

במקום לבזבז זמן על חיפושים קחו את זו שאתם יודעים איך להתקדם בה ותתחילו משם. אחרי שהקוד יעבוד יהיה לנו הרבה יותר קל לשכתב או לשפר אותו.

נ.ב. אני עדיין פותר עם חברים את Advent Of Code האחרון, בקבוצת לימוד באווירה טובה ובעברית. אם אתם רוצים דרך בטוחה לשפר את מיומנויות התכנות שלכם דרך פיתרון בעיות מדליקות ועזרה לחברים בבעיות אלה מוזמנים בחום להצטרף. החידה הנוכחית מחכה לכם כאן:

https://forum.tocode.co.il/t/advent-of-code/782

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

השבוע פרסמתי כאן השוואה בין קוד פרוצדורלי לקוד פונקציונאלי. הקוד היה כתוב ב Ruby ו Elixir וחלק מהקוראים חשבו שיהיה יותר מעניין לראות השוואה דומה בשפה שמכירים. אז הלכתי לכתוב את אותו הקוד ב JavaScript והתוצאה תעזור לנו להאיר עוד פינה בייחודיות של שפות פונקציונאליות.

כלל ידוע בגיט הוא שלא כדאי לשמור שם מידע רגיש כי מי יודע מתי תשכחו את תיקיית .git שלכם על איזה שרת ציבורי. אבל לפעמים בכל זאת אנחנו בטעות מוסיפים מידע רגיש לגיט ואז צריך באיזושהי דרך למחוק אותו. ואל תחשבו אפילו על git rm כי הוא אולי ימחק החל מהקומיט הנוכחי אבל עדיין יש לכם את המידע הרגיש בכל ההיסטוריה. בואו נדבר על פקודה הרבה יותר מתוחכמת בשם git filter branch והיכולת המופלאה שלה לשנות את כל ההיסטוריה.

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

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

השבוע פתרתי יחד עם כמה חברים ותלמידים את היום הראשון מ Advent Of Code 2017. עשינו את זה לאט כך שאפשר היה לראות גישות שונות ולהתעכב על רעיונות שחוזרים על עצמם בתכנות בכל שפה בה אתם עובדים. אם בא לכם להצטרף למשחק החידה השניה באוויר בקישור הזה:

https://forum.tocode.co.il/t/advent-of-code/778

במהלך הדיון על החידה הראשונה עלה הנושא של קריאה ממערך בצורה מעגלית - לדוגמא בהינתן המערך:

arr = [10, 20, 30, 40]

אנחנו יודעים שהערך באינדקס 0 הוא 10, באינדקס 1 הוא 20 וכן הלאה. אבל מה אם נתקדם 10 מקומות מתחילת המערך וכל פעם שנעבור את אינדקס 3 נחזור אחורה ונאפס את האינדקס... לאיזה ערך נגיע?

מסתבר שהאופרטור % עוזר לפתור מהר שאלות מסוג זה. האופרטור % מחזיר את שארית החלוקה לדוגמא:

5 % 2 == 1

בגלל שהכפולה של 2 שהכי קרובה ל-5 היא המספר 4 (זה הכי קרוב שנגיע ל-5), ונשאר עוד 1 שנקרא שארית. שיטה די מקובלת לרוץ בצורה מעגלית על מערך היא להסתכל על שארית החלוקה באורך המערך. לדוגמא המערך שלנו הוא באורך 4. לכן קל לשאול מה האיבר באינדקס 0 (זה 10) או באינדקס 2 (זה 30). אבל, מה האיבר באינדקס 4? באינדקס 10? באינדקס 12? כלומר מה יקרה כשתקדם במערך אחרי האורך שלו?

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

real_index = i % len(arr)

לדוגמא האינדקסים שכתבתי קודם:

arr[4 % len(arr)] == arr[0] == 10

arr[5 % len(arr)] == arr[1] == 20

arr[10 % len(arr)] == arr[2] == 30

arr[12 % len(arr)] == arr[0] == 10

שימוש באופרטור % הוא הרבה יותר מהיר מחישוב האינדקס בלולאה למשל ולכן נרצה להשתמש בו גם בתרגילים ב Advent Of Code אבל כמובן גם בחיים בכלל.

הנה דוגמא נוספת לאותו מנגנון הפעם בשפת JavaScript שבוחרת צבע מתוך מערך של צבעים בצורה מחזורית:

const colors = ['red', 'blue', 'green', 'white', 'yellow', 'brown', 'magenta', 'cyan', 'pink', 'orange'];
let idx = 0;

function changeColor() {
  idx = (idx + 1) % colors.length;
  document.body.style.backgroundColor = colors[idx];
}

אפשר לראות אותה בפעולה בקודפן הבא - פשוט לחצו בכל מקום בתוך התיבה כדי לראות את הצבע משתנה:

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

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

בשפת פייתון הפונקציה הבאה מקבלת מספר ומחזירה את סכום הספרות שלו:

def sum_digits(x):
    return sum([int(n) for n in str(x)])

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

x = 12
print(sum_digits(x))
print(sum_digits(x))
print(sum_digits(x))

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

event = Notification("Don't think twice it's alright")
notify_user('ynon@hotmail.com', event)
notify_user('ynon@hotmail.com', event)
notify_user('ynon@hotmail.com', event)

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

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

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

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