چک کردن تایپ در تابع در پایتون :
در زبان برنامه نویسی پایتون، ما می‌توانیم تایپ متغیرها و پارامترهای توابع را تعیین کنیم. این قابلیت به ما اجازه می‌دهد تا پیش از اجرای برنامه، اطمینان حاصل کنیم که داده‌ها به درستی و با نوع مناسب به توابع داده می‌شوند. این عملیات که به آن تایپ چک کردن یا type checking می‌گویند، به ما کمک می‌کند تا خطاهایی که به دلیل استفاده نادرست از داده‌ها رخ می‌دهد را پیشگیری کنیم و کد خود را از قبل تست کنیم.
در پایتون، تایپ‌ها به صورت ضعیف و پویا استفاده می‌شوند. این بدان معناست که ما می‌توانیم یک متغیر را با هر نوع داده‌ای مقداردهی کنیم و در هر زمانی می‌توانیم نوع داده را تغییر دهیم. اما در برخی مواقع، ما ممکن است بخواهیم که تایپ داده‌های ورودی توابع را محدود کنیم تا از اشتباهات عمومی مانند ترکیب داده‌های نادرست جلوگیری کنیم.
برای این کار، ما می‌توانیم از استفاده از تایپ‌های آناتاسیک در توابع استفاده کنیم. با استفاده از این تایپ‌ها، ما می‌توانیم نوع داده‌های ورودی و خروجی را مشخص کنیم و در هنگام فراخوانی تابع، پایتون از تایپ چک کردن استفاده می‌کند تا اطمینان حاصل کند که داده‌ها به درستی به تابع داده شده‌اند.
برای اعلام تایپ متغیرها و پارامترهای تابع، ما از Annotation ها استفاده می‌کنیم. برای مثال، اگر بخواهیم یک تابع به نام add ایجاد کنیم که دو عدد صحیح را به عنوان ورودی دریافت کرده و مجموع آن‌ها را برمی‌گرداند، می‌توانیم از Annotation ها برای مشخص کردن نوع داده‌های ورودی و خروجی استفاده کنیم. به صورت زیر:
def add(a: int, b: int) -> int:
return a + b
در این مثال، ما به متغیرهای a و b نوع int را انتساب داده‌ایم و همچنین برگشتی تابع را نیز به نوع int تعیین کرده‌ایم. با این تعیین، اگر ما تابع add را با استفاده از داده‌های نوع دیگری صدا بزنیم، پایتون خطا را به ما نشان می‌دهد.
همچنین، ما می‌توانیم از تایپ‌های پیش‌فرض پایتون مانند List، Tuple و Dict نیز استفاده کنیم. به عنوان مثال، اگر بخواهیم یک تابع به نام process_list ایجاد کنیم که یک لیست از اعداد صحیح را به عنوان ورودی دریافت کرده و مجموع آن‌ها را برمی‌گرداند، می‌توانیم از Annotation های جنسیتی استفاده کنیم. به صورت زیر:
from typing import List
def process_list(numbers: List[int]) -> int:
return sum(numbers)
در این مثال، ما از تایپ List و int استفاده کرده‌ایم. با این تعیین، پایتون مطمئن می‌شود که ورودی تابع یک لیست از اعداد صحیح است و خروجی تابع نیز یک عدد صحیح است.
به طور خلاصه، تایپ چک کردن در پایتون به ما کمک می‌کند تا داده‌ها را از قبل تست کنیم و از خطاهای مربوط به نوع داده جلوگیری کنیم. با استفاده از Annotation ها و تایپ‌های پیش‌فرض پایتون، ما می‌توانیم تایپ داده‌های ورودی و خروجی توابع را مشخص کنیم و از خطاهای مربوط به تایپ جلوگیری کنیم.
