Another new lang from Google - https://github.com/carbon-language/carbon-lang
It is quite strange to include inheritance in a modern language. Though they want it to be "a direct successor to C++", so I guess their ideas are rather rooted in C++ design and style of thinking.
It is quite strange to include inheritance in a modern language. Though they want it to be "a direct successor to C++", so I guess their ideas are rather rooted in C++ design and style of thinking.
GitHub
GitHub - carbon-language/carbon-lang: Carbon Language's main repository: documents, design, implementation, and related tools.…
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README) - carbon-language/carbon-lang
Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Serde Tips
A nice /r/rust thread with tips about using serde_json, some of which are not so obvious. I only got two things to add:
- Don't forget to read through serde.rs, it covers most of the day-to-day knowledge. It's surprising how many serde users don't know about it.
- Consider using lib.rs/nanoserde if you only need some basic features and care about the size of your project's dependencies.
A nice /r/rust thread with tips about using serde_json, some of which are not so obvious. I only got two things to add:
- Don't forget to read through serde.rs, it covers most of the day-to-day knowledge. It's surprising how many serde users don't know about it.
- Consider using lib.rs/nanoserde if you only need some basic features and care about the size of your project's dependencies.
Reddit
From the rust community on Reddit
Explore this post and more from the rust community
❤4
Generic associated types in Rust are going to be stabilized soon - https://twitter.com/AliceICecile/status/1565110186456539136?t=MkhLkmKqKXK08esNrXxGOw&s=19
This is a big change for the Rust type system
This is a big change for the Rust type system
👍4
Slides from the talk by Graydon Hoare for undergraduate students on professional compiler development - http://lambda-the-ultimate.org/node/5648
Graydon is the original creator of Rust and he now works on Swift.
Graydon is the original creator of Rust and he now works on Swift.
👍3
Type Driven Thoughts 🦀
Generic associated types in Rust are going to be stabilized soon - https://twitter.com/AliceICecile/status/1565110186456539136?t=MkhLkmKqKXK08esNrXxGOw&s=19 This is a big change for the Rust type system
GATs stabilization is merged👀 As far as I understand, we should expect to be able to use it in 1.65 release in stable rust!
GitHub
Auto merge of #96709 - jackh726:gats-stabilization, r=compiler-errors · rust-lang/rust@7098c18
Stabilize generic associated types
Closes #44265
r? `@nikomatsakis`
# ⚡ Status of the discussion ⚡
* [x] There have been several serious concerns raised, [summarized here](https://github.com/ru...
Closes #44265
r? `@nikomatsakis`
# ⚡ Status of the discussion ⚡
* [x] There have been several serious concerns raised, [summarized here](https://github.com/ru...
🔥3
wasmtime reaches 1.0 release! It is a personal favorite of mine among the WebAssembly runtimes and I think it should be a big step in WASM adoption
Bytecode Alliance
Wasmtime Reaches 1.0: Fast, Safe and Production Ready!
As of today, the Wasmtime WebAssembly runtime is now at 1.0! This means that all of us in the Bytecode Alliance agree that it is fully ready to use in production.
👍4
An updated mdbook about Rust macros - https://github.com/Veykril/tlborm
I remember using the original one (2016 edition) when studying them, it's cool that Rust team is finally continuing this effort
I remember using the original one (2016 edition) when studying them, it's cool that Rust team is finally continuing this effort
GitHub
GitHub - Veykril/tlborm: The Little Book of Rust Macros (updated fork)
The Little Book of Rust Macros (updated fork) . Contribute to Veykril/tlborm development by creating an account on GitHub.
Iterator semantics for Future and Stream - https://docs.rs/futures-concurrency/latest/futures_concurrency/
For now it's a separate crate, but it is a part of the work done currently by async working group. So we can expect it to be merged into std soon.
For now it's a separate crate, but it is a part of the work done currently by async working group. So we can expect it to be merged into std soon.
docs.rs
futures_concurrency - Rust
Performant, portable, structured concurrency operations for async Rust. It works with any runtime, does not erase lifetimes, always handles cancellation, and always returns output to the caller.
❤2
This year I will be participating in RustCon as a speaker with a couple of topics I was closely tracking in the past several months. So don't hesitate to join the conference online or offline😊. The video recordings will probably be available after a 6 month delay.
🔥3
Forwarded from RustCon - конференция по языку программирования Rust
RustCon все ближе, а у нас на сайте все больше согласованных докладов. Сегодня знакомим вас с Егором Ивковым из Qdrant и его докладом «New and upcoming Rust language features»
Доклад будет особенно полезен, если у вас уже есть опыт в работе Rust и желание узнать, в какую сторону язык будет развиваться дальше. Егор обещает разобрать свежие семантические и синтаксические изменения в языке Rust (например, Const Generics и Generic Associated Types). Потом вместе обсудим, где и для чего их можно использовать, сравним, как они соотносятся с дизайном других известных языков.
А еще посмотрим на широко обсуждаемые сейчас Generic Keywords и Context и поговорим про такую острую тему как Higher Kinded Types и нужны ли они расту.
В этом году RustCon пройдет в онлайн и офлайн-форматах. Посмотреть другие доклады программы и купить билет по ранней цене можно на сайте.
Доклад будет особенно полезен, если у вас уже есть опыт в работе Rust и желание узнать, в какую сторону язык будет развиваться дальше. Егор обещает разобрать свежие семантические и синтаксические изменения в языке Rust (например, Const Generics и Generic Associated Types). Потом вместе обсудим, где и для чего их можно использовать, сравним, как они соотносятся с дизайном других известных языков.
А еще посмотрим на широко обсуждаемые сейчас Generic Keywords и Context и поговорим про такую острую тему как Higher Kinded Types и нужны ли они расту.
В этом году RustCon пройдет в онлайн и офлайн-форматах. Посмотреть другие доклады программы и купить билет по ранней цене можно на сайте.
🔥5
Rust 1.65.0 released!🥳
Main features
- Generic Associated Types
-
https://blog.rust-lang.org/2022/11/03/Rust-1.65.0.html
Main features
- Generic Associated Types
-
let ... else ... statementshttps://blog.rust-lang.org/2022/11/03/Rust-1.65.0.html
🔥4❤1🎉1
With GATs getting into Rust and all that, what do you think about Higher-Kinded Types? Should they be introduced into Rust?
GitHub
Higher kinded polymorphism · Issue #324 · rust-lang/rfcs
Issue by tiffany352 Monday Sep 02, 2013 at 01:14 GMT For earlier discussion, see rust-lang/rust#8922 This issue was labelled with: A-typesystem, I-wishlist in the Rust repository Rust doesn't s...
Should Higher Kinded Types be added into Rust?
Final Results
51%
Yes
12%
No
29%
Not certain
8%
Not using Rust
Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Google: Memory Safe Languages in Android 13
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
https://security.googleblog.com/2022/12/memory-safe-languages-in-android-13.html
> There are approximately 1.5 million total lines of Rust code in AOSP ... To date, there have been zero memory safety vulnerabilities discovered in Android’s Rust code.
> ...
> In general, use of unsafe in Android’s Rust appears to be working as intended. It’s used rarely, and when it is used, it’s encapsulating behavior that’s easier to reason about and review for safety.
> ...
> As the amount of new memory-unsafe code entering Android has decreased, so too has the number of memory safety vulnerabilities. From 2019 to 2022 it has dropped from 76% down to 35% of Android’s total vulnerabilities. 2022 is the first year where memory safety vulnerabilities do not represent a majority of Android’s vulnerabilities.
/r/rust discussion
🎉4👍1
The one I've been waiting here for is definitely
Had a few actual cases for this, when the code which is meaningful is optimised away.
hint::black_box that recommends to compiler to disable optimisations in a particular place.Had a few actual cases for this, when the code which is meaningful is optimised away.
👍3
Forwarded from ozkriff.games 🦀 (ozkriff🇺🇦)
# Rust 1.66.0
Highlights:
- Explicit discriminants on enums with fields
-
-
https://blog.rust-lang.org/2022/12/15/Rust-1.66.0
/r/rust discussion
Highlights:
- Explicit discriminants on enums with fields
-
core::hint::black_box
- cargo remove-
..=X ranges in patternshttps://blog.rust-lang.org/2022/12/15/Rust-1.66.0
/r/rust discussion
blog.rust-lang.org
Announcing Rust 1.66.0 | Rust Blog
Empowering everyone to build reliable and efficient software.
👎1