Gábor Bergmann

Provide a way to wrap coroutines as Vert.x Futures

6

The module vertx-lang-kotlin-coroutines has nice support for Kotlin coroutines calling/awaiting Vert.x Futures, but not the other way around. A coroutine -> Future wrapper would allow legacy codebases that still primarily...

I am new to both Kotlin and Vert.x, but it appears to me that the current design of `WriteStream.toChannel()` may easily lead to the client either hanging (suspending) indefinitely or...

Assume a well-formedness constraint with violation pattern `{ constraint1(x,y,z); constraint2(x,y,z); constraint3(x,y,z); }` If, for given tuple `(a,b,c)`, we have both `constraint1(a,b,c)` and `constraint2(a,b,c)` hold with certainty 1, then `constraint3(a,b,c)` must...

Currently, if a query has constraints C and D, where for a specific variable substitution both C and D evaluate to unknown (1/2), then C && D will evaluate to...