جلسه دوازدهم
مقدمه
در این جلسه دو محور اصلی بررسی میشود:
۱) آشنایی با ویژگیها و فلسفهٔ طراحی زبانهای محبوب برنامهنویسی
۲) اصول و مراحل طراحی یک زبان برنامهنویسی جدید
این مبحث دید جامعی از وضعیت فعلی زبانها و تفکر پشت طراحی یک زبان ارائه میدهد.
۱) بررسی زبانهای محبوب برنامهنویسی
زبانهای مختلف بر اساس نیازها، حوزهٔ کاربرد، فلسفهٔ طراحی و مدل اجرایی متفاوتی شکل گرفتهاند. در این بخش ویژگیهای مهم برخی زبانهای پرکاربرد مرور میشود.
الف) C
- زبان سطح پایین با کنترل دقیق روی حافظه
- سرعت و کارایی بالا
- پایهٔ بسیاری از زبانهای دیگر
- مناسب برای سیستمعاملها و برنامهنویسی سیستمی
ب) C++
- ترکیب قدرت C با ویژگیهای شیءگرا
- مناسب برای توسعهٔ نرمافزارهای بزرگ، بازیسازی، موتورهای رندر
- پشتیبانی از مدیریت حافظهٔ دستی و ویژگیهای سطح بالا
ج) Java
- شیءگرای خالص با ماشین مجازی (JVM)
- مدیریت حافظهٔ خودکار (GC)
- پرتابل، امن و مناسب برای سیستمهای بزرگ و اندروید
د) Python
- سطح بالا، خوانا و ساده
- دارای کتابخانههای گسترده
- محبوب در علم داده، هوش مصنوعی، اسکریپتنویسی و وب
- اجرای کندتر نسبت به زبانهای کامپایلری
هـ) JavaScript
- زبان اصلی وب
- مدل رویدادمحور و غیرهمگام
- اجرای سمت کاربر و سرور (Node.js)
- بسیار انعطافپذیر و پویا
و) Rust
- طراحیشده برای ایمنی حافظه بدون GC
- سرعت بالا مانند C++
- جلوگیری از خطاهای رایج حافظه از طریق سیستم مالکیت (Ownership)
- مناسب برای سیستمبرنامهنویسی مدرن
ز) Go
- ساده، سریع و مقیاسپذیر
- توسط گوگل برای سیستمهای توزیعشده طراحی شد
- کانالها و گوروتینها برای همزمانی ساده
ح) Haskell
- زبان تابعی خالص
- تاکید بر عدم تغییرپذیری و توابع خالص
- مناسب برای محاسبات پیچیدهٔ ریاضی و منطق
۲) چرا زبانهای مختلف طراحی شدهاند؟
زبانهای برنامهنویسی پاسخی به نیازهای مختلف بودهاند، مانند:
- کارایی بالا
- سادگی یادگیری
- امنیت حافظه
- توسعهٔ سریع
- برنامهنویسی وب
- برنامهنویسی سامانهای
- مدلهای مختلف تفکر (شیءگرا، تابعی، منطقی، رویهای)
هر زبان در پاسخ به محدودیتهای زبانهای قبلی ایدههای جدید ارائه کرده است.
۳) طراحی یک زبان برنامهنویسی جدید
طراحی زبان یک فرایند مهندسی است که شامل تصمیمگیری دربارهٔ ساختار، نحو، معنا، مدل حافظه، نوعدهی، ابزارهای اجرایی و حوزهٔ کاربرد است.
گام ۱: تعیین اهداف و حوزهٔ کاربرد
پرسشهای اصلی:
- زبان برای چه کاری است؟
- سرعت مهم است یا سادگی؟
- مدل حافظه چگونه باشد؟
- مناسب مبتدیان باشد یا متخصصان؟
گام ۲: انتخاب پارادایم
میتواند یک یا چند پارادایم را پشتیبانی کند:
- رویهای
- شیءگرا
- تابعی
- منطقی
- رویدادمحور
- همزمانی (Concurrency)
گام ۳: طراحی نحو (Syntax)
- خوانایی
- سادگی
- ثبات و سازگاری
- حداقل بودن (Minimalism) یا غنی بودن از ساختارها
- استفاده از بلوکها، فاصلهگذاری، براکتها و …
گام ۴: طراحی معنا (Semantics)
- نحوهٔ اجرای دستورات
- چگونگی مدلسازی دادهها
- قوانین خطاها
- رفتار توابع، اشیاء، جریانها و ساختارهای کنترلی
گام ۵: طراحی سیستم نوعدهی (Type System)
- ایستا یا پویا
- قوی یا ضعیف
- نوعاستنباطی (Type Inference)
- پشتیبانی از جنریکها، انواع ترکیبی و …
گام ۶: مدل حافظه و مدیریت آن
- استفاده از GC
- استفاده از سیستم مالکیت مانند Rust
- مدیریت دستی مانند C
- یا ترکیبی از اینها
گام ۷: طراحی کتابخانهٔ استاندارد
- ورودی/خروجی
- ساختارهای داده
- مدیریت رشتهها
- همزمانی
- شبکه
- و …
گام ۸: ساخت کامپایلر یا مفسر
- Front-end (تحلیل نحو و نوع)
- Middle-end (بهینهسازی)
- Back-end (تولید کد)
یا یک مفسر/VM ساده برای اجرای مستقیم.
گام ۹: ایجاد ابزارهای توسعه
- Debugger
- Formatter
- Package Manager
- مستندسازی
- IDE یا افزونهها
۴) ویژگیهای کلیدی یک زبان خوب
- خوانایی بالا
- پیشبینیپذیری و ثبات
- سادگی قواعد
- ابزارهای توسعهٔ مناسب
- کارایی قابل قبول
- کتابخانهٔ استاندارد قوی
- جامعهٔ کاربری فعال
۵) جمعبندی
در این جلسه دو موضوع مهم بررسی شد:
- شناخت زبانهای محبوب و فلسفهٔ پشت طراحی آنها
- اصول و مراحل طراحی یک زبان جدید از مرحلهٔ هدفگذاری تا طراحی نحو، مدل حافظه و ساخت ابزارها
درک این موضوعات به شما کمک میکند:
- بهعنوان برنامهنویس بهتر از زبانهای موجود استفاده کنید
- بهعنوان طراح زبان با اصول اساسی ساخت یک زبان جدید آشنا شوید
- و مهمتر از آن، بفهمید چرا هیچ زبان «کاملاً برتر» وجود ندارد، بلکه هر زبان برای هدف خاصی ساخته شده است.
