פייתון – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←המימוש: מהדר ומפרש: עיצוב |
←מערכת הטיפוסים: אנוטציות |
||
שורה 104:
החל מהגרסאות האחרונות של השפה אוחדו המחלקות והטיפוסים, וכולם שייכים למטא־מחלקה "type" (כולל המחלקה type עצמה).
=== אנוטציות ובדיקת-טיפוסים סטטית ===
כאמור, פייתון היא שפה דינמית ולא מתבצעת בדיקת טיפוסים בזמן הידור. עם זאת, פייתון מאפשרת להוסיף אנוטציות - ביטויים שאין להם כל התנהגות בזמן ריצה - לפרמטרים של פונקציה ואף למשתנים, וישנה בשפה ספריה בשם typing המאפשרת לבטא טיפוסים רבים. שילוב זה מאפשר לכתוב בשפה תוכניות אותן ניתן לבדוק על ידי כלים חיצוניים לבדיקת-טיפוסים[http://www.mypy-lang.org/ מערכת mypy לבדיקת טיפוסים בפייתון], וכך לאתר שגיאות טרם ההרצה.
להלן דוגמה לקוד פייתון עם סימון טיפוסים (הסימון <- הוא עבור טיפוס ההחזרה. טיפוסי משתנים מסומנים בעזרת הערות):
<syntaxhighlight lang="python">
def fib(n: int) -> Iterator[int]:
a = 0 # type: int
b = 1 # type: int
while a < n:
yield a
a, b = b, a+b
</syntaxhighlight>
==מבני בקרה==
|