Издание Rust 1.78. Езикът Borgo, който съчетава силните страни на Go и Rust

Публикувана версия 1.78 на езика за програмиране с общо предназначение Rust, разработен от проекта Mozilla, а в момента продължава да се развива под шапката на независима нестопанска организация Rust Foundation. Езикът е фокусиран върху безопасната работа с паметта и предлага инструменти за постигане на висока паралелност при изпълнението на задачи, без да използва събирател на отпадъци и runtime (runtime е сведено до основна инициализация и поддръжка на стандартната библиотека).

Методите за работа с паметта в Rust освобождават разработчиците от грешки при манипулирането на указатели и защитават от проблеми, възникващи от нискоуровневата работа с паметта, като достъп до освободена памет, разыменоване на нулеви указатели, излизане извън границите на буфера и др. За разпространение на библиотеки, осигуряване на компилация и управление на зависимости, проектът развива пакетния мениджър Cargo. За хостване на библиотеки е предоставен репозиторий crates.io.

Безопасната работа с паметта в Rust се осигурява по време на компилация чрез проверка на препратки, проследяване на собствеността на обектите, отчитане на времето на живот на обектите (области на видимост) и оценка на правилността на достъпа до паметта по време на изпълнението на кода. Rust също така предлага средства за защита от препълнение на цели числа, изисква задължителна инициализация на стойностите на променливите преди използването им, подобрява обработката на грешки в стандартната библиотека, прилага концепцията за неизменяемост (immutable) на препратки и променливи по подразбиране и предлага силна статична типизация, за да се минимизират логическите грешки.

Основни нововъведения:

• Предложено е ново пространство за имена на атрибути «#[diagnostic]», което предоставя средства за влияние върху съобщенията за грешки, издавани от компилатора. Първият атрибут в новото пространство е «#[diagnostic::on_unimplemented]», който може да се използва за настройка на съобщенията за грешки, когато е необходимо да се използва типаж, който не е реализиран за тип. #[diagnostic::on_unimplemented( message = «My Message for `ImportantTrait` is not implemented for `{Self}`», label = «My Label», note = «Note 1», note = «Note 2» )] trait ImportantTrait {} fn use_my_trait(_: impl ImportantTrait) {} fn main() { use_my_trait(String::new()); } error[E0277]: My Message for `ImportantTrait` is not implemented for `String` —> src/main.rs:12:18 | 12 | use_my_trait(String::new()); | ———— ^^^^^^^^^^^^^ My Label | | | required by a bound introduced by this call | = help: the trait `ImportantTrait` is not implemented for `String` = note: Note 1 = note: Note 2
• Предварителните assert проверки, които се прилагат към unsafe функциите, сега могат да бъдат отлагани до етапа на генериране на код, което позволява извършването на тези проверки без необходимостта от компилиране на стандартната библиотека в режим «#[cfg(debug_assertions)]». За да сработят проверките, вече е достатъчно да се включат отладъчни assert-и за тестови или отладъчни компилации на вашия код.
• Поведението на функциите в стандартната библиотека, които влияят на подравняването на указатели и срезове (slice), сега е предсказуемо по време на изпълнението и зависи от входните данни. Функцията pointer::align_offset, която изчислява offset за подравняване на указателя, сега връща usize::MAX само при невъзможност за изпълнение на операцията. Функциите slice::align_to и slice::align_to_mut, които преобразуват срезовете в представяне с подравнен среден срез и оригинални начални и крайни срезове, сега винаги връщат най-голямата средна част.
• В категорията на стабилните версии са преведени:
  • impl Read for &Stdin
  • Разрешено е използването на нестатично (не ‘static) време на живот за някои реализации, свързани с std::error::Error.
  • В реализацията impl е разрешено използването на стойността ?Sized.
  • impl From for io::Error
• Функцията Barrier::new() е стабилизирана за използване с признак «const» в контекст на всякакъв вид вместо констант.
• За целевите платформи x86_64-pc-windows-msvc, i686-pc-windows-msvc, x86_64-pc-windows-gnu, i686-pc-windows-gnu, x86_64-pc-windows-gnullvm и i686-pc-windows-gnullvm вече е нужна минимум версия Windows 10.
• Въведен е трети ниво на поддръжка за платформите wasm32-wasip2, arm64ec-pc-windows-msvc, armv8r-none-eabihf и loongarch64-unknown-linux-musl. Третото ниво предполага основна поддръжка, но без автоматизирано тестване, публикуване на официални сборки и проверка на възможността за компилация на кода.
• Въведено е второ ниво на поддръжка за целевата платформа Add wasm32-wasip1. Второто ниво на поддръжка предполага гаранция за компилацията.
• Платформата wasm32-wasi-preview1-threads е преименувана в wasm32-wasip1-threads.
• Компилаторът е пренесен на използване на LLVM 18. При използване на LLVM 18 за архитектурите x86-32 и x86-64 е променен ABI, свързан с типовете u128 и i128.
• В пакетния мениджър Cargo е стабилизирана версия 4 на файловете с блокировки (lockfile v4).
• В Cargo е стабилизиран глобален кеш с информация за последното използване на данни. Кешът се разполага в файла $CARGO_HOME/.global-cache чрез SQLite, автоматично се актуализира и отразява последните промени, свързани с индекса, crate файла, директорията с кода, git clone и git checkout.

Допълнително може да се отбележи езика за програмиране Borgo, който се стреми да бъде по-изразителен от езика Go, но по-малко сложен от езика Rust. Borgo комбинира най-добрите характеристики на Go и Rust, запълвайки недостатъците на всеки от езиците. Например, езикът Go е прост и разбираем, но не предоставя разширени средства за осигуряване на безопасност при работа с типове. Езикът Rust предоставя средства за безопасно програмиране, но е прекалено усложнен. Проектът е развиван от Марко Сампелегрини, автор на книгата „The Simple Haskell Handbook“ и разработчик на системата за непрекъсната интеграция Quad CI.

В Borgo се използва статична типизация, типове подобни на езика Go и синтаксис, подобен на Rust. Посочването на точки с запетая в края на редовете в кода на Borgo не е задължително. Кодът на езика Borgo се компилира в представяне на езика Go, което е напълно съвместимо с съществуващите пакети за езика Go. Кодът на компилатора е написан на езика Rust и се разпространява под лицензия ISC. use fmt enum NetworkState { Loading, Failed(int), Success(T), } struct Response { title: string, duration: int, } fn main() { let res = Response { title: «Hello world», duration: 0, } let state = NetworkState.Success(res) let msg = match state { NetworkState.Loading => «still loading», NetworkState.Failed(code) => fmt.Sprintf(«Got error code: %d», code), NetworkState.Success(res) => res.title, } fmt.Println(msg) }

Източник: opennet.ru