אלן קיי ומרווין מינסקי: למדעי המחשב יש כבר "דקדוק". צריך "ספרות"

ראשון משמאל מרווין מינסקי, שני משמאל אלן קיי, אחר כך ג'ון פרי בארלו וגלוריה מינסקי.

שאלה: איך היית מפרש את הרעיון של מרווין מינסקי ש"למדעי המחשב יש כבר דקדוק. מה שהיא צריכה זה ספרות."?

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

שמעתי על הרעיון הזה לראשונה מבוב בארטון, ב-1967 בבית הספר לתארים מתקדמים, כשאמר לי שהרעיון הזה היה חלק מהמניע של דונלד קנות' כשכתב את "אמנות התכנות", שפרקיו כבר נפוצו. אחת השאלות המרכזיות של בוב אז הייתה לגבי "שפות תכנות שתוכננו להיקרא על ידי בני אדם וגם על ידי מכונות". וזה היה המניע העיקרי לחלקים מעיצוב COBOL בתחילת שנות ה-60. ואולי חשוב יותר בהקשר של הנושא שלנו, הרעיון הזה נראה בשפה האינטראקטיבית המוקדמת והמעוצבת למדי JOSS (בעיקר קליף שו).

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

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

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

דרך מקבילה להסתכל על "לימוד שפה בכל מקום". אפשר לעשות הרבה בלי לשנות את השפה או אפילו להוסיף מילון. זה דומה לאופן שבו עם סמלים מתמטיים ותחביר קל מאוד לכתוב נוסחה. זה בחלקו מה שמרווין מתכוון אליו. זה מצחיק שמכונת הטיורינג בספרו של מרווין Computation: Finite and Infinite Machines (אחד הספרים האהובים עליי) היא מחשב טיפוסי למדי עם שתי הוראות (הוסף 1 לרישום והוריד 1 מהרישום והסניפים להוראה חדשה אם הרישום קטן מ- 0 - יש הרבה אפשרויות.)

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

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

חידוש מוקדם נוסף היה הרעיון של מדיה דינמית, שהיה רעיון פופולרי בסוף שנות ה-60, ועבור רבים מאיתנו היה חלק חשוב ממחשוב PC אינטראקטיבי. אחד מכמה מניעים לרעיון זה היה משהו כמו "עקרונות ניוטון" שבו "מתמטיקה" הייתה דינמית וניתן להפעיל אותה ולקשור אותה לגרפיקה וכו'. זה היה חלק מהמניע לקדם את רעיון Dynabook בשנת 1968. אחד המונחים שהתחילו לשמש אז היה "חיבור פעיל", שבו סוגי הכתיבה והוויכוחים שניתן לצפות במאמר מתגברים על ידי התוכנה האינטראקטיבית שהיא אחת מיני סוגים רבים של מדיה לסוג חדש של מסמך.

כמה דוגמאות טובות מאוד נעשו בהיפרקארד על ידי טד קיילר עצמו בסוף שנות ה-80 ותחילת שנות ה-90. Hypercard לא הוגדר ישירות לכך - סקריפטים לא היו אובייקטי מדיה לכרטיסים, אבל אתה יכול לעשות קצת עבודה ולגרום לסקריפטים להופיע בכרטיסים ולהפוך אותם לאינטראקטיביים. דוגמה פרובוקטיבית במיוחד הייתה "Weasel", שהיה חיבור פעיל המסביר חלק מספרו של ריצ'רד דוקינס Blind Watchmaker, המאפשר לקורא להתנסות במסגרת שהשתמשה בסוג של תהליך רבייה כדי למצוא משפטי מטרה.

כדאי לקחת בחשבון שבעוד שהיפרקארד התאימה כמעט מושלמת לאינטרנט המתהווה - והאימוץ הנרחב שלו בתחילת שנות ה-90 - האנשים שיצרו את האינטרנט בחרו לא לאמץ אותו או את הרעיונות הקודמים הגדולים יותר של אנגלברט. ואפל, שהיתה לה הרבה אנשי ARPA/Parc באגף המחקר שלה, סירבה להקשיב להם על חשיבות האינטרנט וכיצד Hypercard יהיה מצוין בהפעלת מערכת קריאה-כתיבה סימטרית. אפל סירבה ליצור דפדפן בתקופה שבה דפדפן טוב באמת היה מהווה התפתחות משמעותית, ואולי היה משחק תפקיד עצום באופן שבו "הפנים הציבוריים" של האינטרנט התגלו.

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

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

מה שעוד יותר שווה לחשוב עליו הוא שאני לא יכול לכתוב תוכנית כאן בתשובה הזו של Quora - ב-2017! - זה יעזור להראות מה בדיוק אני מנסה להסביר, למרות כוח המחשב העצום שעומד בבסיס הרעיון החלש הזה של מדיה אינטראקטיבית. השאלה החשובה היא "מה קרה?" מתעלמים כאן לחלוטין.

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

(נא לצפות כאן בשעה 2:15)

המערכת כולה היא ניסיון מוקדם למה שאני מדבר עליו עכשיו לפני למעלה מ-40 שנה.

דוגמה מובהקת ניתן לראות בשעה 9:06.

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

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

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

אנחנו צריכים את זה!

על GoTo School

• 17-30 ביוני, 15-28 ביולי, 12-25 באוגוסט פרויקט קיץ GoTo בתי ספר לתכנות באזור מוסקבה.
• קבוצת VK
• הירשם לניוזלטר שלנו

מקור: www.habr.com