Rust 1.78 გამოვიდა. Borgo ენა, რომელიც აერთიანებს Go და Rust-ის ძლიერ მხარეებს

გამოვიდა ზოგადი დანიშნულების პროგრამირების ენა Rust 1.78, რომელიც დაარსდა Mozilla-ს პროექტის მიერ, მაგრამ ახლა შეიქმნა დამოუკიდებელი არაკომერციული ორგანიზაციის Rust Foundation-ის ეგიდით. ენა ყურადღებას ამახვილებს მეხსიერების უსაფრთხოებაზე და უზრუნველყოფს საშუალებებს სამუშაოს მაღალი პარალელურობის მისაღწევად, ნაგვის შემგროვებლისა და მუშაობის დროის თავიდან აცილებისას (გაშვების დრო მცირდება სტანდარტული ბიბლიოთეკის ძირითად ინიციალიზაციამდე და შენარჩუნებამდე).

Rust-ის მეხსიერების დამუშავების მეთოდები იცავს დეველოპერს შეცდომებისგან მაჩვენებლების მანიპულირებისას და იცავს პრობლემებისგან, რომლებიც წარმოიქმნება დაბალი დონის მეხსიერების დამუშავების გამო, როგორიცაა მეხსიერების არეზე წვდომა მისი გათავისუფლების შემდეგ, ნულ პოინტერების გაუქმება, ბუფერის გადაჭარბება და ა.შ. ბიბლიოთეკების გასავრცელებლად, კონსტრუქციების უზრუნველსაყოფად და დამოკიდებულებების სამართავად, პროექტი შეიმუშავებს Cargo პაკეტის მენეჯერს. crates.io საცავი მხარდაჭერილია ბიბლიოთეკების ჰოსტინგისთვის.

მეხსიერების უსაფრთხოება უზრუნველყოფილია Rust-ში კომპილაციის დროს, მითითების შემოწმების, ობიექტის საკუთრების თვალყურის დევნების, ობიექტების სიცოცხლის ხანგრძლივობის (ფარგლების) თვალყურის დევნების გზით და კოდის შესრულების დროს მეხსიერების წვდომის სისწორის შეფასებით. Rust ასევე უზრუნველყოფს დაცვას მთელი რიცხვების გადადინებისგან, მოითხოვს ცვლადის მნიშვნელობების სავალდებულო ინიციალიზაციას გამოყენებამდე, უკეთ ამუშავებს შეცდომებს სტანდარტულ ბიბლიოთეკაში, იყენებს უცვლელი მითითებებისა და ცვლადების კონცეფციას ნაგულისხმევად, გთავაზობთ ძლიერ სტატიკურ აკრეფას ლოგიკური შეცდომების შესამცირებლად.

ძირითადი ინოვაციები:

• შემოთავაზებულია ახალი ატრიბუტის სახელთა სივრცე "#[diagnostic]", რომელიც უზრუნველყოფს კომპილატორის მიერ წარმოქმნილ შეცდომებზე ზემოქმედების საშუალებას. ახალ სივრცეში პირველი არის "#[diagnostic::on_unmplemented]" ატრიბუტი, რომელიც შეიძლება გამოყენებულ იქნას შეცდომის შეტყობინებების პერსონალურად მოსაწყობად, რომელიც გამოდის იმ სიტუაციაში, როდესაც თქვენ უნდა გამოიყენოთ მახასიათებელი, რომელიც არ არის დანერგილი ტიპისთვის. #[diagnostic::on_unimplemented( message = "My Message for `ImportantTrait<{A}>` არ არის დანერგილი `{Self}`-ისთვის", label = "My Label", note = "Note 1", note = "Note 2" )] ნიშან-თვისება ImportantTrait {} fn use_my_trait(_: impl ImportantTrait ) {} fn main() { use_my_trait(String::new()); } შეცდომა[E32]: ჩემი შეტყობინება `მნიშვნელოვანი თვისებისთვის ` არ არის დანერგილი `სტრიქონისთვის —> src/main.rs:0277:32 | 12 | use_my_trait(String::new()); | ———— ^^^^^^^^^^^^^ My Label | | | ამ მოწოდებით შემოღებული შეზღუდვის მიხედვით | = დახმარება: თვისება `მნიშვნელოვანი თვისება ` არ არის დანერგილი `სტრიქონისთვის~ = შენიშვნა: შენიშვნა 18 = შენიშვნა: შენიშვნა 12
• არაუსაფრთხო ფუნქციებზე გამოყენებული წინასწარი შემოწმებები ახლა შეიძლება გადაიდოს კოდის გენერირებამდე, რაც ამ შემოწმებების განხორციელების საშუალებას იძლევა სტანდარტული ბიბლიოთეკის შექმნის გარეშე "#[cfg(debug_assertions)]" რეჟიმში. შემოწმების გასააქტიურებლად, ახლა საკმარისია გამართვის მტკიცებულებების ჩართვა თქვენი კოდის სატესტო ან გამართვისთვის.
• სტანდარტულ ბიბლიოთეკაში ფუნქციების ქცევა, რომლებიც გავლენას ახდენენ მაჩვენებლებისა და ნაჭრების გასწორებაზე, ახლა პროგნოზირებადია გაშვების დროს და დამოკიდებულია შეყვანის მონაცემებზე. ფუნქციის მაჩვენებელი::align_offset, რომელიც ითვლის ოფსეტს მაჩვენებლის გასწორებისთვის, ახლა აბრუნებს usize::MAX მხოლოდ იმ შემთხვევაში, თუ ოპერაცია ვერ მოხერხდება. ფუნქციები slice::align_to და slice::align_to_mut ორივე, რომელიც გარდაქმნის ფრაგმენტებს წარმოდგენებად გასწორებული შუა ნაჭერით და თავდაპირველი საწყისი და დასასრული ნაჭრებით, ახლა ყოველთვის აბრუნებს უდიდეს შუა ნაწილს.
• სტაბილურ კატეგორიაში გადავიდა შემდეგი:
  • impl Read for &Stdin
  • არასტატიკური (არასტატიკური) სიცოცხლის ხანგრძლივობის დაშვება ზოგიერთი std::error::შეცდომებთან დაკავშირებული განხორციელებისთვის.
  • იმპლემენტაცია ?დაშვებულია ზომის მნიშვნელობა.
  • impl From 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 ტიპებთან.
• Cargo Pact Manager-ში, lock ფაილების მე-4 ვერსია (lockfile v4) სტაბილიზირებულია.
• Cargo-ს აქვს სტაბილიზირებული გლობალური ქეში ინფორმაცია უახლესი მონაცემების გამოყენების შესახებ. ქეში განთავსებულია $CARGO_HOME/.global-cache-ში SQLite-ის გამოყენებით და ავტომატურად განახლდება, რათა ასახოს უახლესი ცვლილებები ინდექსში, კრატის ფაილში, კოდის დირექტორიაში, git კლონსა და 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 ლიცენზიით. გამოიყენეთ fmt enum NetworkState { Loading, Failed(int), Success(T), } struct Response { title: string, duration: int, } fn main() { let res = Response { title: “Hello world”, ხანგრძლივობა: 0, } let state = NetworkState.Success(res) ნება msg = შესაბამისი მდგომარეობა { NetworkState.Loading => „ჯერ იტვირთება“, NetworkState.Failed(კოდი) => fmt.Sprintf(„მივიღე შეცდომის კოდი: %d“, კოდი), NetworkState.Success (res) => res.title, } fmt.Println(msg) }

წყარო: opennet.ru