Something like the "with statement" in Koka could ...

# language-proposals

[joseph_ivie]

Something like the "with statement" in Koka could drastically reduce the number of nested curly braces in some situations.
https://koka-lang.github.io/koka/doc/book.html#sec-with
Something like this:

fun example() {
    wrapped with with(SomeDSL)
    dslCall()
}

desugars to:

fun example() {
    with(SomeDsl) { 
        dslCall()
    }
}

[joseph_ivie]

The big opportunity I see here is that "middleware"-ish functions could be much easier to use. It might be a bit much, though. Goodness knows we have plenty of syntax already.

[ilya.gorbunov]

We're considering a similar feature in the context receivers proposal: https://github.com/Kotlin/KEEP/blob/master/proposals/context-receivers.md#scope-properties

[joseph_ivie]

Ah ha! I'm not surprised it's made it's way into a KEEP already, I just didn't know what it would be called. Thanks!