Rust-та карызды текшерүүнү айланып өтүүнүн жолу жарыяланды.

Якуб Кадзиолка концепция менен байланышкан тез арада көйгөйлөрдү көрсөткөн далилдерди жарыялады. Rust компилятор долбоорундагы мүчүлүштүк, аны иштеп чыгуучулар төрт жылдан бери ийгиликсиз чечүүгө аракет кылып жатышат.

Якуб тарабынан иштелип чыккан мисал, сиз өтө жөнөкөй амал менен Карыз текшергичти айланып өтүүгө мүмкүндүк берет:

fn main() {
let boom = fake_static::make_static(&vec![0; 1<<20]);
println!("{:?}", бум);
}

Иштеп чыгуучу бул убактылуу чечимди Өндүрүштө колдонбоону суранат, анткени анын максаты Rust иштеп чыгуучулары көңүл бурбаган маселеге көңүл буруу гана болгон.

Source: linux.org.ru

Комментарий кошуу