Is anyone aware of any evolution pitches to introduce polymorphic effects to function signatures? You know how functions like .map are polymorphic over throwing and non-throwing operations? We need the same for other effects like async. Because it feels very awkward and Ad Hoc to be needing separate function overloads for sync and async arguments. We need to be able to express functions that are polymorphic over their argument effects. See examples below.

0

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/alexozun/statuses/115717654003455419 on your instance and quote it. (Note that quoting is not supported in Mastodon.)