Facilitating the spread of knowledge and innovation in professional software development



Choose your language

InfoQ Homepage News Kotlin 1.3 Introduces Stable Coroutines, Contracts, and More

Kotlin 1.3 Introduces Stable Coroutines, Contracts, and More


At KotlinConf 2018 in Amsterdam, Netherlands, JetBrains announced Kotlin 1.3 RC, introducing new language features such as stable coroutines, contracts, inline classes, and more. At KotlinConf, Google and JetBrains also announced their joint effort to establish the Kotlin Foundation.

Coroutines provide a powerful paradigm to design asynchronous, non-blocking programs. A coroutine is just a light-weight thread that is spawned using launch in a CoroutineScope. The following is a minimalist example of a coroutine that carries through some concurrent processing and then joins with the launching thread. Notice the use of runBlocking to wrap the coroutine and the block that launches and waits on it, which defines the coroutine scope:

fun main(args: Array<String>) = runBlocking {
    val job = GlobalScope.launch {
      // do something on a background thread
    job.join() // wait until child coroutine completes

Coroutines can be suspended, restarted, and composed. Coroutines were already available in previous Kotlin releases, but version 1.3 makes them stable, meaning that their API will not change in future releases.

Contracts are a new experimental feature added to Kotlin’s type system to describe additional guarantees on top of those represented through a function’s signature. JetBrains engineer Ilya Gorbunov describes coroutines as a means to enrich the type information available through the function signature with constraints that are useful at the calling site:

With contracts, a function can tell the compiler things like “I affect smart casts this way” or “I execute this lambda immediately and exactly once” [or] “I only return false for non-null lists”.

Contracts are currently used to improve smart casts and to analyze variable initialization more thoroughly:

fun test(x: List<Int>?) {
    // If the function returns false, the value is definitely not null:
    if (!x.isNullOrEmpty()) {
        println(x.size) // Yay, smart cast to not-null!

fun test(x: Any?) {
    // If the function returns (does not throw), then the argument is true:
    require(x is String) 
    println(x.length) // Smart cast here too!

val x: Int
synchronized(lock) {
    x = 42 // The compiler knows that the lambda is invoked exactly once!
println(x) // Allowed now, the compiler knows that 'x' is definitely assigned.

Inline classes are another experimental feature introduced in Kotlin’s latest release. Inline classes are classes that have exactly one property:

inline class Name(val s: String)

They are useful to prevent signature clashes among overloadsq, as in the following example that shows three overloads using different inline types all mapped to String:

fun foo(x: UserName) { ... }
fun foo(x: Login) { ... }
fun foo(x: UserHash) { ... }

A new feature that might appeal to all developers moving their first steps in Kotlin is the revamped online playground, which, besides a new look, also provides a new “Kotlin by Example” section.

The official Kotlin announcement is worth reading in full if you are interested in all new features and improvements brought by Kotlin 1.3, which are many more than what could be covered here.

On a related note, Google and JetBrains announced the Kotlin Foundation, aiming to advance the development of Kotlin while ensuring it remains free and open. Its establishment comes two years after Google made of Kotlin a first-class language for Android development and started bringing a number of improvements to its mobile platform to offer developers a better experience when using Kotlin for Android app development. As a result of this effort, Google says, 27% of the top 1000 Android apps on Google Play already use Kotlin.

Using Kotlin 1.3 RC is extremely easy if you use JetBrains IntelliJ IDEA, which has built-in support for Kotlin updates. If you use Maven/Gradle, you should add the repo in your configuration and then get version 1.3.0-rc–57.

We need your feedback

How might we improve InfoQ for you

Thank you for being an InfoQ reader.

Each year, we seek feedback from our readers to help us improve InfoQ. Would you mind spending 2 minutes to share your feedback in our short survey? Your feedback will directly help us continually evolve how we support you.

Take the Survey

Rate this Article


Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.