یک annotation اختیاری مثل x: int یا -> str که نوع مورد انتظار را می‌گوید. مفسر آن را ذخیره می‌کند اما اعمال نمی‌کند؛ type checkerها آن را می‌خوانند.