this post was submitted on 16 Oct 2024
67 points (98.6% liked)

Rust

5999 readers
19 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago
MODERATORS
 

If we were to create a Rust version of this page for Haskell, what cool programming techniques would you add to it?

you are viewing a single comment's thread
view the rest of the comments
[–] SorteKanin@feddit.dk 30 points 1 month ago (3 children)

Not exactly the same thing but this is still pretty funny. This is code that is technically 100% legal Rust but you should definitely never write such code πŸ˜….

[–] AsudoxDev@programming.dev 12 points 1 month ago (1 children)
[–] SorteKanin@feddit.dk 23 points 1 month ago (1 children)

It's a test for the compiler which ensures that these legal yet extremely weird expressions continue to compile as the compiler is updated. So there is a purpose to the madness but it does still look pretty funny.

[–] nilloc@discuss.tchncs.de 8 points 1 month ago

That’s make sense. We used to write some ridiculous tests too, but users still managed to find a way


fn union() {
    union union<'union> { union: &'union union<'union>, }
}

Is my favorite.

[–] barsoap@lemm.ee 6 points 1 month ago* (last edited 1 month ago)

That makes complete sense. Ranges implement fmt::Debug, .. is a range, in particular the full range (all values) ..= isn't because the upper bound is missing but ..=.. ranges from the beginning to the... full range. Which doesn't make sense semantically but you can debug print it so add a couple more nested calls and you get a punch card.

I totally didn't need the Rust playground to figure that out.

EDIT: Oh, glossed over that: .. is only the full range if standing alone, it's also an infix operator which is why you can add as many as you want (be careful with whitespace, though). .. .. .. .. .. .. .. .. .. .. is a valid Rust expression.

[–] silasmariner@programming.dev 4 points 1 month ago

This is excellent content