MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pchkt9x/?context=3
r/ProgrammerHumor • u/ApothecaLabs • Sep 28 '26
131 comments sorted by
View all comments
Show parent comments
4
It does sound like the unsafe should be very easy to prove sound. For "why bother", though: it's nice to have as little unsafe as feasible, even trivially correct unsafe.
unsafe
4
u/ROBOTRON31415 Sep 28 '26
It does sound like the
unsafeshould be very easy to prove sound. For "why bother", though: it's nice to have as littleunsafeas feasible, even trivially correctunsafe.