Hi everyone, As far back as I remember (Kotlin 1.3.40 or so?) the Contracts API has been part of the standard library, most notably in

Preconditions.kt

as part of the implementation of

check{,NotNull}

and

require{,NotNull}

et al. Today I discovered I can write similar blocks in my own code like this as long as I opt-in for `@ExperimentalContracts`:

fun checkSomeType(value: SomeSuperType) {
    contract {
        returns() implies (value is SomeType)
    }

    check(value is SomeType) {
        "error"
    }
}

My question is multi-faceted. Has the contracts API always been "experimental"? If so, what's left for it to become "stable" given how long it's been around? If not, is it marked "experimental" because it's becoming part of the public standard library API?

yes, it has been experimental for as long as you've been able to use it https://youtrack.jetbrains.com/issue/KT-25495

I see, thanks for the insight! From the ticket you linked it looks like I've been able to use it as long as I've been working with Kotlin and just never knew it!

Contrast are experimental in terms of syntax, all existing kinds of contacts are stable and are not subject to change After 2.0 we plan to stabilize this feature by introducing new syntax

Very cool! Will there be a preview of the new syntax before then?

Sure. I think it will be available in 2.0.20, but can not guarantee that

Are there any design documents (or even rough sketches) in terms of what that syntax may look like? I'd be quite interested, especially if it requires adding new syntactic features. Also, food for thought, you might want to delay contract stabilisation if it's similar to its current form (a DSL with a receiver) until context receivers come out, because then you can make the

ContractBuilder

a context, and thus remove the need to add the label to

this

in

returns() implies (this@myFun is X)

AFAIK there will be showcase of new syntax in keynote on KotlinConf Problem with qualified

this

is solved in new syntax