AL
я вот хочу нормальных контрактов 🙂
Нормальных это проверяемых или более мощных? (вроде тех, что могут убить функцию filterIsInstance ради filter)
Size: a a a
2020 July 20
AA
Нормальных это проверяемых или более мощных? (вроде тех, что могут убить функцию filterIsInstance ради filter)
Да, более мощных
AA
например, чтобы можно было проверять, все-ли присваивания были выполнены в блоке который передаётся параметром в вызов функции
AA
или не было ли присваивание выполнено 2 раза
AA
foo {
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
AL
foo {
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
Почему-то думал, что такие вещи покрываются штуками вроде контракта run exactly once. Ну, тогда да, неплохо бы :)
AA
Почему-то думал, что такие вещи покрываются штуками вроде контракта run exactly once. Ну, тогда да, неплохо бы :)
это в сторону использования Котлина для конфигураций, например.
AA
конкретно мой случай вырос из того что я много баловался с конфигурациями на Kotlin в TeamCity
AL
foo {
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
bar = "A"
bar = "B" <<----- должна быть ошибка компиляции, например
}
Сейчас потыкал, либо у вас больше магии навешено на функцию run, либо контракт call exactly once помогает в этом случае.
По крайней мере этот код:
Плюёт val cannot be reassigned
По крайней мере этот код:
val i: Int
run {
i = 4
i = 5
}
Плюёт val cannot be reassigned
AL
Ну либо я не так случай понял :)
AA
ну там сложнее конечно. Хотя, надо подумать, может быть через эту штуку можно было бы как то сделать то что нужно. Но там ещё есть варианты которыми хотелось бы управлять
AA
особенно когда DSL уже сформирован и не предоставляется возможности его сильно изменить, потому что он по-сути является публичным API
AL
ну там сложнее конечно. Хотя, надо подумать, может быть через эту штуку можно было бы как то сделать то что нужно. Но там ещё есть варианты которыми хотелось бы управлять
Ну тут уже как задача звучит.
Если вопрос в том, что смотреть что там что-то происходит и это валидно - это вроде уже покрывается вышеупомянутым контрактом. По крайней мере тот же run умеет ругаться и на недоинициализацию и двойную инициализацию.
Если же вопрос, что что-то должно быть сделано ровно в этом блоке и нигде больше - наверное нужно больше функционала.
Если вопрос в том, что смотреть что там что-то происходит и это валидно - это вроде уже покрывается вышеупомянутым контрактом. По крайней мере тот же run умеет ругаться и на недоинициализацию и двойную инициализацию.
Если же вопрос, что что-то должно быть сделано ровно в этом блоке и нигде больше - наверное нужно больше функционала.
AL
Ладно, пора спать. И да, теперь вспомнил, что невероятно нужно Котлину - адаптируйте пожалуйста play.kotl.in под смартфоны, им буквально тяжелее пользоваться, чем текстовым редактором :D (юзкейс - набрать по памяти две строки кода, скомпилировать, посмотреть результат и пошарить)
AA
Ладно, пора спать. И да, теперь вспомнил, что невероятно нужно Котлину - адаптируйте пожалуйста play.kotl.in под смартфоны, им буквально тяжелее пользоваться, чем текстовым редактором :D (юзкейс - набрать по памяти две строки кода, скомпилировать, посмотреть результат и пошарить)
записал
NK
A
Какой формат данных быстрее всего парсится? Теоретически - xml, ведь там определена структура заранее
A
Или нет?
AA
Какой формат данных быстрее всего парсится? Теоретически - xml, ведь там определена структура заранее
AA
бинарники по схеме самые быстрые - asn, thrift, messagepack