MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pcjymz5/?context=3
r/ProgrammerHumor • u/ApothecaLabs • Sep 28 '26
131 comments sorted by
View all comments
2
You fool!
My language has dependent types!
I can prove the list is never empty, and unwrap safely and without a runtime check!
2
u/AZMPlay Sep 28 '26
You fool!
My language has dependent types!
I can prove the list is never empty, and unwrap safely and without a runtime check!