Option::map the most type-system-hostile function ever written

@Gankra ooh! how does it compare to Optional::map from java? (which applies a lambda to a value if it exists, and returns an Optional<T> of the return type, which needs to be inferrable by the compiler)

@thingywott it's exactly the same, there's nothing special about it

@Gankra ah!

i was mostly asking because i didn't know why it was type-system-hostile, and wondered if that was just because i came from java-land, which historically has been pretty bad when it comes to type safety

@Gankra (i understand now though! since you replied why to someone else--i missed it initially because that instance doesn't federate with awoo yet)

Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!