Текущая разработка Kotlin

[solver]

Такими темпами, Kotlin обойдет Scala по всем статьям лет за 5.
Медленно, но верно движутся к светлому будущему. А лайтбенд че то топчется на месте…

[tagir_valeev]

Интересно, а компилятор проверит, что обещания контракта метод действительно выполняет или примет их на веру?

[pontifex024]

Пока неизвестно, как оно будет, но контракт ведь пишет разработчик для конкретного метода. Возможно, выполнение этого контракта тоже будет лежать на совести разработчика.

[tagir_valeev]

Вот на совести разработчика — это сделает язык дырявым. Простой пример:

fun test() {
    val x: String
    run { x = "Hello" }
    println(x.length)
}

fun <R> run(block: () -> R): Unit {
    contract {
        callsInPlace(block, EXACTLY_ONCE)
    }
    //return block() бугагашечка
}

В результате, если мы поверили контракту, но не проверили его, то в методе test() мы получаем обращение к неинициализированной локальной переменной — то, чего, например, в Java не может быть никогда и ни за что.

На самом деле даже если контракты проверяются при компиляции, не забываем, что компиляция раздельная. Если метод run в прекомпилированном классе, и мы там подхачили контракт руками, мы получим тот же эффект. Опасной мне кажется эта фича, в общем. Может, конечно, разработчики умнее меня и как-то всё предусмотрели...

[pontifex024]

Согласен. Но, как заявляли неоднократно разработчики языка, многое может поменяться. Мне кажется, что контракты будут для особых редких ситуаций.
Но нельзя не согласиться, что фича довольно мощная и интересная, хоть пока и нет определенности в области ее применения. Посмотрим, что из этого выйдет.

[a__v__k]

Для джавы проверки корректности для NotNull и @Contract у Jetbrains есть — внешними средствами.
Встроить в компилятор котлина аналоги — почему бы и нет.

[pontifex024]

Дело может оказаться даже не в самой возможности проверки, а в том, что такие проверки могут быть очень дорогими для компилятора, что значительно увеличит время сборки проекта. Если разработчик покроет много методов контрактами, то само извлечение метаинформации уже будет дороговато, а если добавить и проверку выполнимости контракта…

[tagir_valeev]

Они не стопроцентно работают, их можно обмануть.