কয়েক বছর আগে, Rust কোড কম্পাইল করার একমাত্র উপায় ছিল LLVM কে ব্যাকএন্ড হিসেবে ব্যবহার করে rustc কম্পাইলার ব্যবহার করা। তারপর থেকে mrustc, GCC-এর Rust সমর্থন (gccrs), rust_codegen_gcc এবং Cranelift সহ বেশ কয়েকটি প্রকল্প Rust কম্পাইলারের বাস্তবায়নে বৈচিত্র্য এনেছে। সর্বশেষ প্রকল্প Eurydice, Rust কোডকে পরিষ্কার C কোডে রূপান্তর করার লক্ষ্য রাখে, যা উচ্চ-নিশ্চয়তার সফটওয়্যারে উপযোগী যেখানে যাচাই টুল C আশা করে।
২০২৩ সালে শুরু হওয়া Eurydice, Aeneas প্রকল্পের অংশ, যা Rust কোডে আনুষ্ঠানিক যাচাই প্রয়োগের টুল তৈরি করে। Inria ও Microsoft-এর গবেষকদের দ্বারা রক্ষণাবেক্ষিত Eurydice একটি প্রমিত কম্পাইলার কাঠামো অনুসরণ করে: Rust পার্স করা, IR-এ রূপান্তর, পাস প্রয়োগ এবং C আউটপুট।
অন্যান্য কম্পাইলারের বিপরীতে, Eurydice Rust-নির্দিষ্ট গঠনগুলো সরিয়ে দিলেও কোডের কাঠামো সংরক্ষণ করে। যেমন, এটি লঘিষ্ঠ সাধারণ গুণিতক ফাংশনগুলোকে মূল্যায়নের ক্রম বজায় রাখতে অস্থায়ী ভেরিয়েবলসহ পাঠযোগ্য C-তে কম্পাইল করে। জেনেরিক ও ইটারেটরের কারণে সব Rust প্রোগ্রাম নির্ভুলভাবে অনুবাদ হয় না, তবু যেসব পরিবেশে C কম্পাইলার আছে কিন্তু Rust সমর্থন নেই, সেখানে Eurydice একটি সহজ স্থানান্তর পথ দেয়।
এই প্রকল্পে MIT ও Apache-2.0 লাইসেন্সের অধীনে কোড রয়েছে এবং বহিরাগত অবদান গ্রহণ করা হয়।
উৎস: Hacker News · সারাংশ: HeadlinesBriefing