is looking to add generics over const and async keywords: This could save us from e.g. writing separate async and non-async versions of the code, or at least hide the difference between a single name (to be disambiguated at compile time). Cool stuff!


@L29Ah Does it? I can write a function that calls await, and run it from both the Async monad and the IO monad? I bet I'll need some wrappers for that to work.

As for const, Haskell dodges the problem by not having const functions at all.

@minoru In haskell a function doesn't need any async-specific keywording or typing to be ran from async contexts.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!