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

پ.ن: این یه competitor برای Zig هست منتها فعلا نتونسته توی فیچر ها به پای زیگ برسه =)

https://www.youtube.com/watch?v=UC8VDRJqXfc

ایا همه زبان های dynamically typed از نوع interpreter based هستند؟
جوابش اینه که نه. ربطی نداره. مثلا LISP داینامیک تایپد هست ولی معمولا کامپایل میشه. یا حتی ممکنه که زبان های statically typed شامل یک اینترپرتر باشن و بازم مشکلی نداره. درکل این دوتا کانسپت موازی از هم هستند.

جزییات بیشتر تو لینک زیر:

https://softwareengineering.stackexchange.com/questions/88645/are-dynamic-languages-always-interpreted

یه guidance خیلی خوب از طرف تیم اندروید گوگل برای یادگیری Rust :

https://google.github.io/comprehensive-rust/index.html

چرا باید نیکس یاد بگیریم؟ و چطور بدرد جماعت دولوپر میخوره؟

https://www.youtube.com/watch?v=6WLaNIlDW0M

Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools (2024) by Ivan Murashko

خوندمش تموم شد. ولی ۵ درصد هم به دانشم اضافه نکرد.
انگار کمپلت هیچ مطلبی توش نبود🤕

Writing a C Compiler: Build a Real Programming Language from Scratch (2023)

پ.ن: این محتوای مفیدی داره. داره یه کامپایلر C رو با کامپایل کردنش بطور مستقیم به اسمبلی میسازه. برای کسب دانش اسمبلی و compiler design خیلی خوبه. ولی بازم بدرد من نمیخوره /: اینکه یه همچین پروژه ای استیبل بشه ادم نابود میشه. کامپایل کردن به اسمبلی برای studying purposes بهتره.

زبان موجو (Modular) اخیرا دستاورد های بی نظیری داشته که خالی از لطف نیست کمی راجبش حرف بزنیم :) منم هرچقدر که راجبش میفهمم همینجا میگم.

درواقع موجو یک زبان برنامه نویسی جدید هست که شباهت زیادی به پایتون داره. ولی هدفش اینه که پرفرمنس C/C++ و کنترل روی سخت افزار ارائه بده. برای Machine Learning و high-performance computing (HPC) و در زمینه محاسبات علمی کاربرد داره. پرفرمنس قابل مقایسه ای با Rust و ++C داره. لازم به ذکره که دیتا تایپ های قدرتمند و ownership model ای که از راست الهام گرفته شده رو ارائه میده.

از همون ابتدا ساپورت parallelism هم داره! از فیچر هایی مثل autotuning و multithreading و SIMD support به خوبی پشتیبانی میکنه.

یه نقطه جالبی هم که فهمیدم اینه که گویا بر پایه MLIR ساخته شده کامپایلرش :) اگه براتون جالبه... سازنده ش Chris Lattner معروف هست! همان سازنده کامپایلر LLVM و همچنین زبان Swift. و MLIR هم یک Intermediate Represntation ای هست شبیه به LLVM-IR ولی با این تفاوت که ساپورت بیشتری از انتزاعات و فیچر های high level داره. البته لازم به ذکره که ما هنوز به خوبی تسلط روی LLVM-IR نداریم :) و MLIR هم تازگی داره... و کمبود داکیومنت و این ها به خوبی احساس میشود.

جمع بندی کاربرد های Mojo :

- Writing ML models and kernels (alternative to CUDA or C++)

- Optimizing data pipelines and numeric computations

- Systems-level programming where Python is too slow

- High-performance scientific computing

یوتیوب شون:

https://www.youtube.com/watch?v=FSBnDzMwOKs

پ.ن: رقیب سر سخت پایتون از راه رسیده :)

توی V کیوورد nil رو unsafe در نظر گرفتن چون مستعد پنیک و UB هستش‌. در عوض معادلش که یه صفر (zero) هست رو safe تلقی میکنه و کاملا اوکیه😂🤦

Strangely, nil requires unsafe, but the equivalent 0 literal in a pointer context does not. This suggests very primitive reasoning by the compiler: an "evil" keyword is forbidden, but completely equivalent code without the keyword is allowed.

یه آرتیکل برای نقد زبان برنامه نویسی V 

https://justinas.org/the-bizarre-world-of-v

همچنین اینم هست که بیشتر تکنیکال بررسیش کرده (اپدیت ۲۰۲۳) :

https://n-skvortsov-1997.github.io/reviews

و اینکه تا دلتون بخواد داره برای ایده های V ایراد میگیره. همین emit C و در کنارش کامپایل کردن به machine code روی معماری x64 کافی نبود؟ رفتن emit Go و emit JS هم نوشتن😂 توی آرتیکل به وضوح نشون میده چطوری مدل کانکارنسی ش تبدیل به Promise توی جاوا اسکریپت میشه و این totally does not make sense😂🤦.

از مموری منیجمنت ش هم که نگم. دیدگاه م کلا به V تغییر کرد بعد از خوندن این مقاله ها! توی وی اومدن یه فلگ گذاشتن به اسم autofree. در واقع نه GC هست و نه RC. و حتی شبیه Rust هم نیست. در واقع میگه ما میتونیم مموری روی توی compilation time بیایم مدیریت بکنیم. ینی میاد خودش free() اضافه می کنه.
ایا لازمه بگم که این نمیشه و چقد UB میخوره؟😂
اخه جدا ازین... اومدن با GC شون هم ترکیب کردن! یعنی اگر خودش فری نمیشه... GC مسعولیت شو به عهده میگیره😂🤦
اینم بگم که از BoehmGC بعنوان مموری منیجمنت دیفالت استفاده میکنن.

دیگه بقیش تو دوتا آرتیکل هست میتونید چکش کنید :)

We can conclude that autofree is a very crude technology.

Why not rewrite LLVM in Rust?😐😂

https://www.reddit.com/r/rust/comments/5z2yvw/why_not_rewrite_llvm_in_rust

پ.ن: عجب!

اگه از hyprland استفاده میکنید، حتما این کانفیگ رو ببینید که میتونه زیباترین و پرکاربرد ترین دسکتاپ عمرتون رو بسازه!
من هرچی خودم کانفیگ کرده بودم ریختم دور...
https://github.com/end-4/dots-hyprland

@DevTwitter | <Mohsen Khodabakhshi/>

با C یه Reference Counting بسازیم

https://github.com/jeraymond/refcount

رفرنس کانتینگ یا به اصطلاح RC چیه؟

یک روش مدیریت مموری هست که توی بک گراند شامل یک‌ counter میشه. کامپایلر بطور هوشمندانه میاد پوینتر ها و رفرنس هایی که به آبجکت مورد نظر هست رو شناسایی میکنه (در پروسه کامپایل)، و بعد به ازای هر رفرنس میاد counter رو یک واحد increment میکنه. و زمانی که از اسکوپ مورد نظر خارج میشه، counter رو یک واحد decrement میکنه.

و اگر counter به صفر برسه ینی هیچ رفرنسی به این آبجکت وجود نداره و بی استفاده ست. پس بلافاصله free میشه allocation ش. همونطور که توی این سورس کد می‌بینید پیاده سازی ش راحته. یه Mutex Lock هم بهش اضافه میشه که توی محیط مولتی ترد هم مشکلی پیش نیاد.

مزایای RC اینه که وقفه یا به اصطلاح Stop the world ای که توی GC هست، توی RC بوجود نمیاد و ازاد سازی حافظه قابل پیش‌بینی تر هست.

معایبش :) در واقع اگر دوتا آبجکت به همدیگه رفرنس بدن که به اصطلاح Reference Cycling گفته میشه، درین صورت هیچ یک ازین دو آبجکت free نخواهند شد. معایب دیگه ش اینه که مخصوصا در محیط های مولتی ترد overhead خیلی زیادی داره. البته اگر سینگل ترد باشه هم درکل خیلی مکانیزم بهینه ای نیست.

در نتیجه نسبت به GC مکانیزم سنتی تر و پرفرمنس کمتری داره.

زبان هایی که از Reference Counting استفاده میکنند:

- Swift (Automatic RC)
- ObjectiveC
- Python (
Combination of GC and RC.
)
- C++ (Smart Pointers)

اخرین تلاش های من برای فهمیدن دات نت🥲🤞🏿

https://www.youtube.com/watch?v=TH5118PhzYs

https://www.youtube.com/watch?v=BeuNvhd1L_g

درسته از دات نت بدمون میاد... ولی به احتمال زیاد از coreclr/gc برای سایروس استفاده کنم. فعلا گزینه بهتر ازین پیدا نکردم (از BoehmGC خیلی بهتره)

https://github.com/dotnet/runtime/tree/main/src/coreclr/gc

تو این ویدیو یه درایور ساده برای کرنل ویندوز مینویسه با زبان C
(صرف نشون دادن kernel debugger).

باید بگم باحال بود :) تا حالا یه درایور ننوشتم...

https://www.youtube.com/watch?v=GTrekHE8A00

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

چون خودمم بلد نیستم... فقط میتونم بگم سیستم پروگرمینگ خیلی باحاله. و خب سعی میکنم یاد بگیرم :)

https://www.youtube.com/watch?v=is9wVOKeIjQ

اینا تلاش های من در برابر burn out شدن و افسردگی ناشی از دولوپ طولانی مدته. گرچه خیلی روم کار ساز نیست ولی فعلا همین از دستم بر میاد :)

https://www.youtube.com/watch?v=i7kh8pNRWOo

دولوپر گیم آمریکایی و سازنده زبان Jai شخص Jonathan Blow که حداقل ۳۰ سال سابقه برنامه نویسی و سیستم پروگرمینگ ش هست راجب کنترل افسردگی و عدم انگیزه برای ادامه دادن توضیح میده.

پارتنر Chris Lattner خانوم Tanya هم مثل کریس یه دولوپر کامپایلر هست. و در حال حاضر مدیر اجرایی LLVM میباشد. فارغ التحصیل دانشگاه Portland آمریکا.

https://github.com/tlattner

پ.ن: اصلا هم حسادت نکردم...🤦

سرگذشت مرحوم Terry A. Davis و سیستم عامل و زبان برنامه نویسی که ساخته بود :)

https://templeos.org
https://holyc-lang.com

https://www.youtube.com/watch?v=LtlyeDAJR7A

https://www.youtube.com/watch?v=YMUhbIAA9-8

اولا. تری حدود ۱۲۱ هزار خط کد رو تنهایی توی حدود ۱۰ سال نوشته برای درست کردن سیستم عامل معبد.

دوما. اینکار رو با استفاده از زبانی که خودش ساخته بود ینی HolyC انجام داده بود. یک زبان برنامه نویسی سیستمی با شباهت زیاد به C.

سوما. سیستم عامل معبد یکی از پیچیده ترین پروگرام های نوشته شده توسط یک single developer هست. در همین حین ویندوز ۷ با هزاران مشارکت کننده و ساپورت مالی ساخته شد...

چهارم. دیگه حرفی ندارم |: فقط میتونم بگم باععععع💀🫡