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

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

ישות טהורה

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

if(obj != null);

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

שום דבר

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

גיבוש ורגעים

גיבוש הוא מעבר מ שום דבר в להיות מ להיות в שום דבר. זה נותן לנו שניים את הרגע, נקרא הראשון הִתהַוּוּתוהשני חוֹלֵף. מַעֲבָר זה נקרא כך במקום היעלמות, כי המהות הלוגית בעצם לא יכולה להיעלם אלא אם כן שכחנו אותה. נְסִיגָה ככזה אנו יכולים לקרוא להליך ההקצאה. אם האובייקט שלנו מאותחל, אז רגע התרחשות, ובמקרה של הקצאת ערך אחר או NULL רגע של חלוף.

obj = new object(); //возникновение
obj = null; //прехождение

קִיוּם

בקצרה קִיוּם הוא אובייקט שאין לו הגדרה ברורה, אבל יש לו וַדָאוּת. מה זה אומר. הדוגמה הקנונית היא כיסא רגיל. אם תנסו לתת לזה הגדרה ברורה, תתקלו בקשיים רבים. למשל, אתה אומר: "זה רהיט שמיועד לישיבה", אבל הכיסא נוצר גם בשביל זה וכו'. אבל היעדר הגדרה ברורה לא מונע מאיתנו להדגיש אותו במרחב ולהשתמש בו בעת העברת מידע עליו, זה בגלל שבראש שלנו יש וַדָאוּת כִּסֵא. אולי כמה כבר ניחשו שרשתות עצביות נוצרו כדי לבודד אובייקטים כאלה מזרם הנתונים. ניתן לסמן רשת עצבית כפונקציה המגדירה זאת וַדָאוּת, אך אין סוגי אובייקטים שיכללו הגדרות ברורות ומעורפלות, ולכן לא ניתן להשתמש באובייקטים כאלה באותה רמת הפשטה.

חוק המעבר של שינויים כמותיים לאיכותיים

חוק זה נוסח על ידי פרידריך אנגלס כתוצאה מפירוש ההיגיון של הגל. עם זאת, ניתן לראות זאת בבירור בכרך הראשון בפרק על לפחות. המהות שלו היא כמותי שינויים באובייקט עשויים להשפיע עליו איכות. לדוגמה, יש לנו חפץ קרח; עם הצטברות הטמפרטורה, הוא יהפוך למים נוזליים וישנה אותו איכויות. כדי ליישם התנהגות זו באובייקט, יש דפוס עיצוב מצב. הופעתו של פתרון כזה נגרמת מהיעדר בתכנות של דבר כמו יסוד עבור הִתרַחֲשׁוּת אובייקט. קרן קובע את התנאים שבהם אובייקט יכול להופיע, ובאלגוריתם אנחנו בעצמנו מחליטים באיזו נקודה אנחנו צריכים לאתחל את האובייקט.

נ.ב.: אם המידע הזה מעניין, אסקור ישויות אחרות ממדעי ההיגיון.

מקור: www.habr.com