So we only know how to have do notation without early return or borrowing. People say this is an open research question, but IMO its just not possible within our runtime constraints.
-
-
This comes up a lot, please link this thread liberally.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
At this point I think it’s too late to add an effect system to Rust, but algebraic effects could work—that’s the approach I’m taking in my eager runtimeless language. They’re useful for tagging effects even if you don’t have fully general “handlers” (requiring continuations).
-
Yes an effect system is possible because - like async/await - it builds the suspension points into the language
- Još 3 druga odgovora
Novi razgovor -
-
-
Tweet je nedostupan.
-
Tweet je nedostupan.
-
-
-
the C++ people are doing it - is their technique not applicable to rust, or just not yet explored?
-
they're not doing it. they're doing generators, just like rust
Kraj razgovora
Novi razgovor -
-
-
Genuine question as I don't know the answer: is something like Scala's for comprehensions over monads like Future any more or less possible, since its eager but does have HKT? Or have I just answered my own question with the latter?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.