SR
Всем привет с KotlinConf '18!
Size: a a a
2018 October 04
SR
Вдруг кто не в курсе, тут трансляция главного зала без регистрации и смс: https://kotlinconf.com/
2018 October 05
2018 October 29
AV
Когда даже релиз котлина 1.3 нас чуть не обогнал )
AV
Мы тут опубликовали большую часть расписания https://devfest-spb.com/schedule?show=27-11 :)
2018 November 01
DG
Страница DevFest SPb вконтакте https://vk.com/devfest_spb_2018
Плиз велкам
Плиз велкам
2018 November 07
ВМ
Кстати кто-нибудь баловался с контрактами в котлине 1.3?
Столкнулся с тем, что контракты поддерживаются только в верхнеуровневых функциях. Кто нибудь знает почему было принято именно такое решение?
Столкнулся с тем, что контракты поддерживаются только в верхнеуровневых функциях. Кто нибудь знает почему было принято именно такое решение?
(
Кстати кто-нибудь баловался с контрактами в котлине 1.3?
Столкнулся с тем, что контракты поддерживаются только в верхнеуровневых функциях. Кто нибудь знает почему было принято именно такое решение?
Столкнулся с тем, что контракты поддерживаются только в верхнеуровневых функциях. Кто нибудь знает почему было принято именно такое решение?
В верхнеуровневых функциях нет shared mutable state, которое потенциально могло бы ломать смарткасты
DS
Там больше проблем с наследованием и виртуальными вызовами. Скажем, если есть контракт у
Base.foo, то какой контракт должен быть у Derived.foo? В обратном случае?ВМ
Ну просто они сами в документации пишут, что разраб сам отвечает за контракт
DS
Там основное соображение в том, что правила наследования контрактов крайне не очевидны -- т.е. разрабу *значительно* тяжелее понять, что он написал контракты на иерархии наследования неправильно, чем понять, что он неправильно написал контракт к телу метода
DS
Можно перекатиться в Kotlin Community, там подробней подискутировать (а еще лучше в KEEP https://github.com/Kotlin/KEEP/issues/139 🙂)
(
Ну, у меня не получилось забайтить обитателей Kotlin Community на холивар
KT
KT
Если кто-то пропустил)
KT
А ещё здесь есть @Smevok , кто может сказать правду про контракты 😎
S
Из сообщения выше не понятно кто я, но вы все правильно говорите - основная причина в том, что не понятно что делать с наследованием. Про захват состояния - не аргумент, т.к. через глобальные переменные тоже можно позахватывать и поменять что угодно.
S
И @dsavvinov как автор кода контрактов в общем может рассказать даже лучше чем я (:
ВМ
Но а если класс final? В чем проблема?