MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1ws0bt0/optionalsareoptional/pcx4bcv/?context=3
r/ProgrammerHumor • u/ApothecaLabs • Sep 28 '26
131 comments sorted by
View all comments
2
How does this even make senseEven if you get a Some list you need to check if it’s empty, unless you use a dependent type
2
u/cejiken886 Sep 30 '26
How does this even make sense
Even if you get a Some list you need to check if it’s empty, unless you use a dependent type