wrote a bit about view types in Rust today: https://scrabsha.dev/articles/one-week-of-view-types.html :3
Remote
S🦀sha
@scrabsha@hachyderm.io
mastodon 4.7.3rust, compiler things, silly C, nerdy keyboards and yummy food -- she/her
423 Followers
291 Following
16 Posts
Joined November 11, 2022
the obsidian font... has ligatures... for... `:3`
:3
crazy how running for half an hour under the sun make me go from looking like a corpse to huh a girl
Replying to
@tiif@hachyderm.io @jhostert@mathstodon.xyz RustCamp Switzerland could fix this. and by fix, let's just say, add a third generation of stickers.
Replying to
@akiross@mastodon.social I did not consider long fields when writing this. perhaps that can be solved by allowing views in type aliases? for instance
type Foo_ = Foo.{
very_long_field_1,
very_long_field_2
};
that or view groups (there's a thread somewhere in the rust-lang Zulip about this, I forgot to bookmark it 💀💀).
i don't know what to think about the syntax you proposed. i care about "what we should use this for" much more than "what this should look like".
Replying to
@yosh@toot.yosh.is i really loved your blog post about this!
I didn't mention it in my post because I don't have anything new to bring to the table other than "that would be so damn cool". I will try to discuss with Oli at some point to see if they know how/whether this can be implemented. I'm really excited about this :)
Replying to
@na@pipou.academy should be fixed (once github's runners deploy the website again), thank you so much!!
Replying to
@ploum@mamot.fr yup that was me!! At the exam we talked about how Rust was being used in the Linux kernel, it was lovely
Sometimes I need to show my friends your class is /different/ and usually this is what convinces them: https://github.com/ploum/lingi2401/issues/246 :D
Replying to
@ploum@mamot.fr so nice to read that literally everything that made me super happy with how your exams work is still there. Everything around me enshittifies so quickly these days, I'm glad your class doesn't :)
Replying to
@jhostert@mathstodon.xyz @tiif@hachyderm.io it's how my (Rust) friend group decided to name our next holiday lmao