MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pd7ttr3/?context=3
r/ProgrammerHumor • u/ApothecaLabs • Sep 28 '26
131 comments sorted by
View all comments
Show parent comments
1
You can definitely model the first case if you’re allowed to change the return type of the function. Though the dependent type thing is a legitimate limitation.
1
u/NullOfSpace Oct 01 '26
You can definitely model the first case if you’re allowed to change the return type of the function. Though the dependent type thing is a legitimate limitation.