مروری بر اینکه چگونه از صفر با Cairo شروع کنید
Cairo نخستین زبان تورینگکامل برای ساختن برنامههای اثباتپذیر بهمنظور محاسبات عمومی است. این زبان سطح بالا و شبیه به Rust است. مانند Rust، هدفش این است که توسعهدهندگان بهراحتی کدی کارآمد و ایمن بنویسند.
ما فکر میکنیم بهترین راه یادگیری، بازی کردن و تمرین کردن است؛ چه با ساختن پروژههای برنامهنویسی خودتان و چه با حل مسائل کوچکی مانند همانهایی که اینجا در Exercism هست!
در ادامه چند منبع آمده است که میتواند به شما کمک کند مسیر خود را با Cairo سریعتر آغاز کنید: