News for hackers. Stuff that matters.

A comment on Background: how we got the generics we have (2020). Parent comment

Re:Background: how we got the generics we have (2020) by p2t2p on Thursday April 01, 2021 @12:00PM (#26662240)
Oh my god, there's more to that, Optional is a class, not an interface and it's final :facepalm:
[ Parent | on HN ]
Re:Background: how we got the generics we have (2020) by mrkeen on Thursday April 01, 2021 @05:39PM (#26666440)
I've made my peace with those aspects of the libraries. I'm happy to wrap the standard classes in MyOption, MyStream, etc. Then I can extend FlatMappable myself. I just don't know how to declare and implement FlatMappable in a sane way (preserving type information, not needing casts, etc.)
[ Parent | on HN ]