Rust Implementation of Knuth's Dancing Links: The Rust Programming Language

3 زبان برنامه نویسی Rust

زبان برنامه نویسی Rust به عنوان یک زبان برنامه نویسی مدرن، ایمن، حافظه ای ایمن و به طور بالقوه قابل تجزیه و تحلیل رسمی مورد توجه و استفاده قرار گرفته است. گوگل [29] و آمازون [25] از پذیرندگان اصلی Rust هستند و لینوس توروالدز در مورد توانایی کوتاه مدت زنجیره ابزار Rust برای استفاده در توسعه هسته لینوکس اظهار نظر مثبتی کرده است. [1]. و پس از گذراندن دهه‌ها برای مقابله با رژه بی‌پایان آسیب‌پذیری‌های امنیتی ناشی از C/C++، که همچنان با سرعت بالایی آشکار می‌شوند. [24] مایکروسافت در کنفرانس توسعه دهندگان BlueHat 2023 علیرغم استفاده از ابزارهای پیچیده آنالیز C/C++ اعلام کرد که شروع به بازنویسی کتابخانه های اصلی ویندوز در Rust کرده است. [6].

علاقه ما به Rust از پتانسیل آن به عنوان یک زبان تضمین مشترک سخت افزار/نرم افزار ناشی می شود. این علاقه تا حدی ناشی از حوزه‌های کاربردی نوظهور است، مانند پلت‌فرم‌های مستقل و نیمه مستقل برای زمین، دریا، هوا و فضا، که به الگوریتم‌ها و ساختارهای داده‌ای پیچیده نیاز دارند، مشمول اعتبار/گواهی‌نامه سخت‌گیرانه هستند و سخت‌افزار/نرم‌افزار را تشویق می‌کنند. رویکردهای طراحی مشترک (برای یک مورد استفاده از وسیله نقلیه هوایی بدون سرنشین که محیط مهندسی سیستم های مبتنی بر روش های رسمی را نشان می دهد، لطفاً مشورت کنید [7] [23].) در این صفحه،…

Source link