מה זה אומר להיות פונקציונלי?

תוכן עניינים:

מה זה אומר להיות פונקציונלי?
מה זה אומר להיות פונקציונלי?
Anonim

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

איך אתה מגדיר עובד?

בתכנות פונקציונלי, funktor הוא תבנית עיצובית בהשראת ההגדרה מתורת הקטגוריות, ש מאפשרת לטיפוס גנרי להחיל פונקציה בפנים מבלי לשנות את המבנה של הטיפוס הגנרי. רעיון זה מקודד ב- Haskell באמצעות מחלקת סוג. class Functor f שבו fmap:: (a -> b) -> f a -> f b.

האם פונקטור הוא מורפיזם?

פונקטור זהות: בקטגוריה C, כתובה 1C או idC, ממפה אובייקט לעצמו ומורפיזם לעצמו. מנגנון הזהות הוא endofunctor.

מהו תפקיד בבלשנות?

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

האם רשימה פועלת?

לפי מפתחי Haskell, כל הסוגים כגון רשימה, מפה, עץ וכו' הם המופע של Haskell Functor.

מוּמלָץ: