Руст 1.78 е објавен. Борго јазик кој ги комбинира силните страни на Go и Rust

Објавено е објавувањето на програмскиот јазик за општа намена Rust 1.78, основан од проектот Mozilla, но сега развиен под покровителство на независната непрофитна организација Rust Foundation. Јазикот се фокусира на безбедноста на меморијата и обезбедува средства за постигнување на висок паралелизам на работните места, притоа избегнувајќи употреба на собирач на ѓубре и време на работа (времето на работа е сведено на основна иницијализација и одржување на стандардната библиотека).

Методите за ракување со меморијата на Rust го спасуваат развивачот од грешки при манипулирање со покажувачите и го штитат од проблеми што се јавуваат поради ракување со меморијата на ниско ниво, како што се пристап до мемориската област откако ќе се ослободи, дереференцирање на нула покажувачи, пречекорувања на баферот итн. За да се дистрибуираат библиотеки, да се обезбедат градби и да управуваат со зависности, проектот го развива менаџерот на пакети Cargo. Репозиториумот crates.io е поддржан за хостирање библиотеки.

Безбедноста на меморијата е обезбедена во Rust за време на компајлирањето преку проверка на референци, следење на сопственоста на објектот, следење на животниот век на објектите (обеми) и проценка на исправноста на пристапот до меморијата за време на извршувањето на кодот. Rust исто така обезбедува заштита од прелевање на цели броеви, бара задолжителна иницијализација на вредностите на променливите пред употреба, подобро се справува со грешките во стандардната библиотека, стандардно го применува концептот на непроменливи референци и променливи, нуди силно статичко пишување за да се минимизираат логичките грешки.

Главните иновации:

• Предложен е нов именски простор за атрибути „#[дијагностичка]“, обезбедувајќи средство за влијание врз пораките за грешки произведени од компајлерот. Првиот во новиот простор е атрибутот „#[diagnostic::on_unimplemented]“, кој може да се користи за приспособување на пораките за грешка фрлени во ситуација кога треба да користите карактеристика што не е имплементирана за типот. #[diagnostic::on_unimplemented( message = "Мојата порака за `Важна карактеристика<{A}>` не е имплементирана за `{Self}`", label = "My Label", note = "Забелешка 1", note = "Забелешка 2" )] особина ImportantTrait {} fn use_my_trait(_: impl ImportantTrait ) {} fn main() { use_my_trait(String::new()); } грешка[E32]: Моја порака за `Важна карактеристика ` не е имплементиран за `String` —> src/main.rs:0277:32 | 12 | use_my_trait(String::new()); | ———— ^^^^^^^^^^^^^ My Label | | | се бара од страна на обврзана воведена со овој повик | = помош: особина `Важна особина ` не е имплементиран за `String` = забелешка: Забелешка 18 = забелешка: Забелешка 12
• Проверките за претходно наведување применети на небезбедни функции сега може да се одложат до генерирање на код, што овозможува овие проверки да се вршат без потреба да се изгради стандардната библиотека во режимот „#[cfg(debug_assertions)]“. За да се активираат проверките, сега е доволно да се овозможат тврдењата за отстранување грешки за тестирање или дебагирање на вашиот код.
• Однесувањето на функциите во стандардната библиотека кои влијаат на порамнувањето на покажувачите и парчињата сега е предвидливо при извршување и зависи од влезните податоци. Функцискиот покажувач::align_offset, кој го пресметува поместувањето за порамнување на покажувачот, сега враќа usize::MAX само ако операцијата не успее. Функциите slice::align_to и slice::align_to_mut двете, кои ги трансформираат парчињата во претстава со порамнет среден парче и оригиналните почетни и крајни парчиња, сега секогаш го враќаат најголемиот среден дел.
• Следниве беа префрлени во стабилна категорија:
  • импл Читај за &Stdin
  • Дозволете употреба на нестатички (нестатички) век за некои имплементации std::error::Error.
  • Имплементација дозволено е да се користи вредноста ?Sized.
  • импл Од за io:: Грешка
• Функцијата 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 и i686vwinllm-p сега бара најмалку верзија на 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 е променет.
• Во менаџерот на пакт за карго, верзијата 4 на датотеките за заклучување (lockfile v4) е стабилизирана.
• Карго има стабилизиран глобален кеш со информации за најновото користење на податоци. Кешот е хостиран во кешот $CARGO_HOME/.global со помош на SQLite и се ажурира автоматски за да ги одрази најновите промени во индексот, датотеката за гајба, директориумот со кодови, git клонот и git checkout.

Дополнително, програмскиот јазик Borgo се обидува да биде поекспресивен од јазикот Go, но помалку сложен од јазикот Rust. Borgo ги комбинира најдобрите карактеристики на Go и Rust, надополнувајќи ги недостатоците на секој јазик. На пример, Go е едноставен и јасен, но не обезбедува напредни безбедносни карактеристики. Јазикот Rust обезбедува алатки за безбедно програмирање, но е премногу комплициран. Проектот го развива Марко Сампелегрини, автор на „The Simple Haskell Handbook“ и развивач на системот за континуирана интеграција Quad CI.

Borgo користи статичко пишување, типови слични на Go и синтакса слична на Rust. Запирките се опционални на крајот од редовите во кодот Борго. Кодот на Borgo се компајлира во претставување Go што е целосно компатибилно со постоечките Go пакети. Кодот на компајлерот е напишан во Rust и се дистрибуира под лиценцата ISC. користете 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 => „сè уште се вчитува“, NetworkState.Failed(code) => fmt.Sprintf(„Добив код за грешка: %d“, код), NetworkState.Success (res) => res.title, } fmt.Println(msg) }

Извор: opennet.ru