#Rustlang is looking to add generics over const and async keywords: blog.rust-lang.org/inside-rust 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!


@minoru Already works like that in Haskell.

· · xmpp_gate · 1 · 0 · 1

@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
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.