Esteban K�ber :rust:
@ekuber@hachyderm.io
My #RustLang experience started literally 10 years ago, when #Rust 1.0 came out. I'd been hearing about it for a while, it seemed interesting, and it sounded like a nice round number to jump in. The documentation was excellent, but applying those concepts in practice was harder than I anticipated, so I bounced out. Over the holidays that year I had a week off and decided to give it another chance. In the meantime, the tooling and documentatio had gotten better, and this time it stuck.
Looking for projects to contribute to to exercise the concepts I was learning, I started sending PRs to racer (an early auto complete library). While doing so, I remember getting a baffling compiler error message that took me half an hour to figure out. I didn't feel smart for eventually getting it, nor stupid for not getting it earlier. I felt annoyed because in my mental model the compiler had the information that I needed to understand what had happened and it just wasn't telling me. So I looked at the rust codebase. Which was written in Rust. And I changed that error. Very quicky realized that there was a lot of low hanging fruit to do useful work and that it was a great way of learning more of the language. There are several language features that I learned first from reading first how they were implemented! I was hooked, and have been involved ever since.
Today, 10 years after I first tried Rust, 9 years after I started contributing and 8 years since I became a member of the Compiler Team, I'm proud of the tiny part I've played in getting Rust where it is today, but I am elated by the tons of work that so many others have done, both big and small. Rust is what it is not due to any single individual, but because of every single person that has written a PR, filed a ticket, talked about it, and used it.
So, happy birthday Ferris, and thank you to everyone who got us here. Raise my glass to the next 10 years!
# 
🚲 🇳🇱
with the 
Qiita - 人気の記事
![Rust compiler error message:
"error: does_halt computes if program halts, which is not allowed"
The shown code is a function taking a reference to a Program type and returning a Boolean that iterates over a proof iterator with flags requiring that the proofs prove either that the program halts or doesn’t. In the loop body, an if-else statement checks if the proof proves that the program halts or if it doesn’t and return true or false, respectively.
The error has additional details:
The function signature is highlighted in red:
"this computes if program halts"
The iterator (which spans multiple lines) is highlighted:
"note: because this will eventually yield..."
The return statements are highlighted with help suggesting replacing false with true or vice-versa to fix the error.
An assert and an unreachable are highlighted to indicate that they will never fail/run, respectively.
Finally:
note: #[deny(unreality)] on by default
note: consider using std::oracle<Halts> instead](https://ftp.ieji.de/mastodata/media_attachments/files/113/681/555/516/502/387/original/49af7033e5e4b55b.png)
, and an increasing interest in Elixir 
, I would appreciate it if you could point me to it!
![Rust Compiler output:
error[E0658]: default values on fields are experimental
--> def.rs:2:11
|
2 | x: i32 = 101,
| ^^^^^^
|
= note: see issue #132162 <https://github.com/rust-lang/rust/issues/132162> for more information
= help: add `#![feature(default_field_values)]` to the crate attributes to enable
= note: this compiler was built on 2024-12-10; consider upgrading it if it is out of date
error[E0797]: base expression required after `..`
--> def.rs:6:19
|
6 | let s = S { .. };
| ^
|
= help: add `#![feature(default_field_values)]` to the crate attributes to enable default values on `struct` fields
help: add a base expression here
|
6 | let s = S { ../* expr */ };
| ++++++++++](https://media.hachyderm.io/media_attachments/files/113/635/417/222/672/459/original/d9ec8030370c26b7.png)
![$ more def.rs
#![feature(default_field_values)]
struct S {
x: i32 = 101,
}
fn main() {
let s = S { .. };
println!("{}", s.x);
}
$ rustc +nightly def.rs && ./def
101](https://media.hachyderm.io/media_attachments/files/113/635/421/842/062/353/original/7bfe5ab368a9ac76.png)
, not to be confused with the 
, an entirely different and totally not grotesque thing). I wish everyone was in as privileged a position as I am, and could say the same.
) but it's on the roadmap so that should be fine pretty soon.
or in the 
![[moved] Floppy 💾's avatar](https://cdn.fosstodon.org/accounts/avatars/000/126/617/original/8ee710372071c74d.png){kind=small}
domenuk
and I see 
