Udemy – Building a Typechecker from scratch 2022-7

در تاریخ: 1405/08/09 5:46:18

توضیحات

دوره Building a Typechecker from scratch. این دوره آموزشی یک برنامه تخصصی و عملی است که به مهندسان و برنامه‌نویسان نحوه ساخت یک Typechecker ایستا برای یک زبان برنامه‌نویسی کامل از صفر تا صد را آموزش می‌دهد. برنامه‌های بدون نوع مشخص معمولاً مستعد بروز خطاهای مختلف، استثناهای زمان اجرا هستند و فرآیند Debugging را به شدت دشوار می‌کنند. به همین دلیل، بسیاری از زبان‌های برنامه‌نویسی سطح تولید، یک Static Typechecker را به عنوان یک ماژول اضافی پیاده‌سازی می‌کنند تا امنیت برنامه‌ها افزایش یافته و توسعه نرم‌افزار ساده‌تر شود. این دوره آموزشی بر اساس یک رویکرد عملی طراحی شده است تا به پژوهشگران و مهندسان نرم‌افزار نشان دهد که چگونه سیستم‌های نوع، نظریه‌های مربوط به نوع و داوری‌های نوع کار می‌کنند. در حالی که کتاب‌های سنتی نظریه نوع را به صورت تئوری و به عنوان مجموعه‌های ریاضی بررسی می‌کنند، این دوره تمرکز خود را بر ساخت واقعی یک Typechecker برای یک زبان برنامه‌نویسی کامل از ابتدا تا انتها معطوف کرده است. در این دوره، مفاهیمی مانند تفاوت بررسی نوع و استنتاج نوع، زبان‌های دارای نوع قوی یا ضعیف، ساختار داده‌ها و الگوریتم‌های مرتبط به صورت عمیق بررسی می‌شوند. فراگیران یاد می‌گیرند که چگونه بدون نیاز به ابزارهای پیچیده و تنها با استفاده از زبان جاوا اسکریپت، یک Typechecker کاملاً کاربردی ایجاد کنند. کدهای نوشته شده به گونه‌ای طراحی شده‌اند که به راحتی قابل انتقال به سایر زبان‌های برنامه‌نویسی مانند پایتون، تایپ اسکریپت، راست و سی‌پلاس‌پلاس هستند. همچنین دوره شامل جلسات کدنویسی زنده، تکالیف عملی و ساختارهای انیمیشنی است که یادگیری مباحث پیشرفته مهندسی کامپیوتر و کامپایلرها را تسهیل می‌کند.

آنچه فرا خواهید گرفت

اصول سیستم‌های نوع یا Type Systems و اهمیت امنیت نوع و حافظه
مبانی نظریه نوع و داوری‌های نوع در زبان‌های برنامه‌نویسی
مقایسه انواع بررسی نوع ایستا و پویا Static vs Dynamic Typechecking
بررسی تفاوت‌های بین سیستم‌های با نوع قوی و نوع ضعیف Strong vs Weak Typing
پیاده‌سازی عملی یک Typechecker برای یک زبان برنامه‌نویسی کامل
مدیریت و اعلام انواع داده‌ها Type Declarations در ساختارهای نرم‌افزاری
پیاده‌سازی و بررسی انواع توابع جنریک Generic Functions
تحلیل و بررسی سیستم‌های نوع در برنامه‌های شیءگرا OOP و تابعی Functional Programming

این دوره مناسب افرادیست که

مهندسان زبان‌های برنامه‌نویسی Programming Language Engineers که قصد توسعه ابزارهای کامپایلر را دارند
هر مهندس کنجکاوی که می‌خواهد نحوه کارکرد درونی Typecheckerها را به صورت تخصصی درک کند
توسعه‌دهندگانی که می‌خواهند مهارت‌های مهندسی نرم‌افزار خود را در ساخت سیستم‌های پیچیده ارتقا دهند
افرادی که به مباحث کامپایلر، تئوری نوع و طراحی زبان‌های برنامه‌نویسی علاقه‌مند هستند