#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!

@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.

Follow

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

· · xmpp_gate · 0 · 0 · 1
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.

An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.