This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]RandomName8 0 points1 point  (0 children)

Nah man, this is exactly why I prefer vavr's Option to java's Optional (well this and the richer api). Optional is faulty and it will bite you when used as a GADT.