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

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.