ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig»🧑 ارائه‌دهنده: #مهدی_بهرامی

ارائهٔ تاکچه با موضوع «از ساختارهای بی‌نام‌و‌نشان تا اثبات درستی با Zig»🧑 ارائه‌دهنده: #مهدی_بهرامیان⏰️ سه‌شنبه ۱۶ دی‌ماه، ساعت ۱۸📍 کلاس مجازی انجمن علمی⚪️ زبان Zig با حفظ کارایی C، مشکلات دیرینه‌ای مانند مدیریت پیچیدهٔ حافظه و سیستم‌های ساخت پرخطا را حل کرده‌است. در Zig هیچ تخصیص‌دهندهٔ حافظهٔ پیش‌فرضی وجود ندارد. شما آزادید از تخصیص‌دهنده‌های مختلف (مانند Arena ،FixedBuffer و Debug) برای سناریوهای خاص استفاده کنید. این طراحی نه‌تنها عملکرد را بهینه می‌کند، بلکه امکان استفاده از کتابخانه‌ها حتی روی سیستم‌های نهفتهٔ بدون heap را فراهم می‌کند.⚪️ این زبان با قابلیت comptime، انقلابی در فرابرنامه‌نویسی ایجاد کرده‌است، می‌توانید توابع پیچیده مانند فیبوناچی را در زمان کامپایل اجرا کنید، داده‌ساختارهای جنریک بسازید و حتی چندریختی ایستا پیاده‌سازی کنید! همچنین Zig یک سیستم ساخت یکپارچه و cross-compile ارائه می‌دهد که مدیریت وابستگی‌ها و کامپایل برای پلتفرم‌های مختلف را به کاری ساده تبدیل می‌کند.🎙 @ssc_talkche☕️ @cafe_ssc