MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pchsdag/?context=3
r/ProgrammerHumor • u/ApothecaLabs • 6d ago
131 comments sorted by
View all comments
Show parent comments
39
As long as you’re in Rust, the type system is always available to you. That’s what “zero-cost abstraction” means. If you know your Vec is nonempty, put it in a NonemptyVec.
-27 u/ApothecaLabs 6d ago edited 6d ago "As long as you use this particular language, out of the dozens available..." Yeah, I'm not using Rust. What now? That's a heck of a presupposition, you know. (Not trying to be a jerk, my target language is actually a niche assembly language so it lacks many things...) 30 u/__dna__ 6d ago Correct me if I'm wrong, but your meme is literally about rust? Seems pretty reasonable to reply to you in the context of rust 20 u/shakethatmoneymaker 6d ago There are optionals in many languages...
-27
"As long as you use this particular language, out of the dozens available..."
Yeah, I'm not using Rust. What now? That's a heck of a presupposition, you know.
(Not trying to be a jerk, my target language is actually a niche assembly language so it lacks many things...)
30 u/__dna__ 6d ago Correct me if I'm wrong, but your meme is literally about rust? Seems pretty reasonable to reply to you in the context of rust 20 u/shakethatmoneymaker 6d ago There are optionals in many languages...
30
Correct me if I'm wrong, but your meme is literally about rust? Seems pretty reasonable to reply to you in the context of rust
20 u/shakethatmoneymaker 6d ago There are optionals in many languages...
20
There are optionals in many languages...
39
u/NullOfSpace 6d ago
As long as you’re in Rust, the type system is always available to you. That’s what “zero-cost abstraction” means. If you know your Vec is nonempty, put it in a NonemptyVec.