زبان برنامه‌نویسی کوروش

    یک زبان برنامه‌نویسی سیستمی پُرکارایی با سینتکس و سمانتیکی صریح، انتزاع و زمان اجرایی اندک، و مدیریت حافظهٔ دستی است.

    ویژگی‌های کلیدی

    کوروش بر پایه کنترل صریح، اجرای قابل پیش‌بینی و حداقل‌گرایی در انتزاع از ماشین طراحی شده است.

    نحو مینیمال و قابل پیش‌بینی

    یک سطح نحوی کوچک و منسجم که به‌گونه‌ای طراحی شده است که بدون نیاز به شبیه‌سازی ذهنی رفتارهای پنهان کامپایلر یا قوانین پیچیده، بتوان کد را به‌صورت مستقیم خواند و درک کرد.

    سیستم تایپ صریح و سخت‌گیر

    تایپ ایستا و قوی بدون هیچ تبدیل ضمنی. تمام تبدیل‌های نوع باید به‌صورت صریح انجام شوند تا از تبدیل‌های پنهان و رفتارهای مبهم جلوگیری شود. کدهای generic به‌صورت monomorphization کامپایل می‌شوند تا dispatch ایستا و بدون هزینهٔ runtime فراهم گردد.

    کامپایل بومی مبتنی بر LLVM

    کامپایل ahead-of-time از طریق LLVM به کد ماشین بهینه‌شده. خروجی، رفتار عملکردی قابل پیش‌بینی ارائه می‌دهد و از طریق C ABI سازگاری کامل با سیستم‌های دیگر دارد.

    عدم وجود رفتارهای پنهان زبان

    از رفتارهای ضمنی، ترکیب پارادایم‌های پیچیده و لایه‌های انتزاعی غیرضروری اجتناب می‌کند. جریان اجرای برنامه نزدیک به کد منبع باقی می‌ماند تا تحلیل آن بدون اتکا به فرضیات کامپایلر یا inference زمان اجرا ممکن باشد.

    مدل حافظه صریح

    بدون garbage collector و بدون سیستم مالکیت پنهان. مدیریت حافظه به‌صورت صریح انجام می‌شود و شامل تخصیص دستی، allocatorهای سفارشی و cleanup قطعی از طریق ساختارهایی مانند defer است.

    طراحی متن‌باز و قابل بررسی

    به‌صورت شفاف توسعه داده شده با تمرکز بر قابلیت بررسی و اطمینان‌پذیری. این زبان برای سیستم‌هایی طراحی شده که در آن‌ها عملکرد، قطعی بودن و کنترل کامل بر اجرا اهمیت اصلی دارند.

    ظرافت در طراحی

    نحو (Syntax) کوروش به گونه‌ای طراحی شده که شهودی، رسا و خوانا باشد.

    import std::libc{printf};
    
    fn main() {
      printf("Hello, World!");
    }

    خرد باستانی، قدرت مدرن

    کوروش بر یک اصل پایدار استوار است: برنامه‌نویس باید ماشین را فرمان دهد، نه این‌که با زبانی که آن را توصیف می‌کند چانه‌زنی کند. این زبان از مدهای گذرا و انتزاع‌های افراطی فاصله می‌گیرد و به جای آن به بنیان‌های تثبیت‌شده برنامه‌نویسی سیستمی بازمی‌گردد؛ بنیانی منظم، صریح و کاملاً قابل پیش‌بینی. کوروش که بر زیرساختی مدرن از کامپایلر بنا شده است، خرد کلاسیک سیستم‌ها را با کارایی اجرایی معاصر پیوند می‌دهد و زبانی ارائه می‌کند که هم برای درک منطقی شفاف است و هم از نظر عملکرد قدرتمند.

    هر تصمیم طراحی در کوروش برای آشکار ساختن نیت برنامه‌نویس گرفته شده است. هیچ عملیاتی به صورت ضمنی انجام نمی‌شود: تغییرپذیری به‌صورت صریح اعلام می‌گردد، تبدیل‌ها آگاهانه و عمدی هستند، مدیریت حافظه با آگاهی کامل انجام می‌شود و ارجاع‌ها همواره در معرض دید خواننده قرار دارند. هیچ چیز مهمی پشت جادوی زمان اجرا یا مکانیزم‌های پنهان مخفی نمی‌ماند. با نگه داشتن ساختار کامل اجرا در برابر دید مستقیم، کوروش به توسعه‌دهندگان اجازه می‌دهد برنامه‌های خود را با دقت، اطمینان و کنترل کامل تحلیل کنند.

    کوروش از یک فلسفه انتزاع محدود و آگاهانه پیروی می‌کند. این زبان از پنهان کردن سازوکار ماشین اجتناب می‌کند و در عوض کنترل قطعی در سطح پایین و یک مدل اجرایی شفاف ارائه می‌دهد، بدون رفتارهای پنهان در زمان اجرا یا سیستم‌های ضمنی. حافظه، کارایی و جریان برنامه همگی قابل مشاهده بوده و مستقیماً تحت کنترل برنامه‌نویس هستند. به جای معرفی پارادایم‌های جدید، کوروش مفاهیم تثبیت‌شده برنامه‌نویسی سیستمی را پالایش کرده و در قالبی منسجم ارائه می‌دهد. نتیجه زبانی است که به‌صورت طبیعی خوانده و نوشته می‌شود، در عین حال در حوزه‌های حساس به عملکرد، پایدار و قابل اتکا باقی می‌ماند؛ جایی که شفافیت و کنترل اهمیت اصلی را دارند.

    شروع کار با زبان برنامه‌نویسی کوروش

    در عرض چند دقیقه با کوروش شروع به ساختن کنید. نصب آن آسان است و با مستندات جامع ارائه می‌شود.

    1

    دانلود

    آخرین نسخه کوروش را برای پلتفرم خود دریافت کنید.

    2

    نصب

    دستورالعمل‌های ساده نصب برای سیستم خود را دنبال کنید.

    3

    کدنویسی

    اولین برنامه کوروش خود را بنویسید.

    در دسترس برای ویندوز، مک (macOS) و لینوکس

    به جامعه بپیوندید

    کوروش متن‌باز (Open-source) و جامعه‌محور است. مشارکت کنید و به شکل‌دهی آینده این زبان کمک کنید.

    گیت‌هاب

    کد منبع را بررسی کنید، مشکلات را گزارش دهید و در پروژه مشارکت کنید.

    بازدید از مخزن

    دیسکورد

    به سرور دیسکورد ما بپیوندید تا با سایر توسعه‌دهندگان گپ بزنید و کمک بگیرید.

    عضویت در دیسکورد

    تلگرام

    برای اطلاعیه‌ها و بحث‌ها به کانال تلگرام ما بپیوندید.

    عضویت در تلگرام

    حامیان ما

    ما عمیقاً قدردان حمایت‌های ارزشمند حامیانمان هستیم. مشارکت آن‌ها ما را قادر می‌سازد تا تجربه بهتری برای کاربران خود رقم بزنیم و به مسیر رشد و نوآوری ادامه دهیم. حضور شما در کنار ما الهام‌بخش ما برای ساختن آینده‌ای روشن‌تر است.