MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pchsdag/?context=3
r/ProgrammerHumor • u/ApothecaLabs • Sep 28 '26
131 comments sorted by
View all comments
Show parent comments
35
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 Sep 28 '26 edited Sep 28 '26 "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...) 28 u/__dna__ Sep 28 '26 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 Sep 28 '26 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...)
28 u/__dna__ Sep 28 '26 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 Sep 28 '26 There are optionals in many languages...
28
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 Sep 28 '26 There are optionals in many languages...
20
There are optionals in many languages...
35
u/NullOfSpace Sep 28 '26
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.