پی سی دانلود - نظریه-تایپ

برنامه‌های بدون نوع (Untyped) اغلب مستعد خطا، استثنائات زمان اجرا هستند و عیب‌یابی آن‌ها را بسیار دشوارتر می‌کنند. به همین دلیل، بسیاری از زبان‌های برنامه‌نویسی تولید، یک تایپ چکر استاتیک پیاده‌سازی می‌کنند - ماژولی اضافی که هدف آن افزایش ایمنی برنامه‌ها و ساده‌تر کردن توسعه است.
در دوره Building a Typechecker from scratch، با اصول و مفاهیم تایپ چکینگ، تئوری نوع و نحوه پیاده‌سازی یک تایپ چکر آشنا خواهید شد.