VP
И OptIn никуда не вставляется?
Ну так я об этом и говорю
Не забоксишь, как-нибудь потом в этот класс залезешь, что-нибудь поменяешь, упадешь в рантайме, это абсолютно реальная ситуация если без разбору типы стирать
Size: a a a
2020 September 08
BP
Тогда зачем мне инлайн класс ? Ебатся с перыомансом в итоге ?
BP
Вместо
fun divideBy0(n: NotZeroInt): Int
```
ну это такой, супертупой пример, я могу ещё тысячу придумать
fun divideBy0(n: Int): Int // throws DivisionByZero
fun divideBy0(n: NotZeroInt): Int
```
ну это такой, супертупой пример, я могу ещё тысячу придумать
И ? Это что даёт кроме типа ?
(
И ? Это что даёт кроме типа ?
Ты вытаскиваешь рантаймовую ошибку на уровень компайл-тайм проверки
BP
Единственное исключение - Result. Но для него если что навставляют костылей в компиляторе.
Ими тоже пользуюсь, везде костыли, Котлин превращается в сплошной костыль и это печалит. Можно сказать "горшочек не вари новые фичи" ?
с#
В смысле фиксит? А при компиляции ничего не ругается?
нет, было бы @Experimental ещё норм
с#
но там просто варн, не ошибка
I
А если серьезно, то релиз и правда вышел сырой, как и 1.2, как и 1.3. Это нас не оправдывает, но количество комбинаций фич, которые мы можем протестировать, много меньше того, что встречается в мире. И если самые очевидные мы можем отловить и пофиксить до релиза, благодаря М и RC, то более-менее заковыристые будут починены где-то через релиз, в 1.4.20.
VP
но там просто варн, не ошибка
Так и RequiresOptIn тоже может давать только предупреждение, а не ошибку
(
Тогда зачем мне инлайн класс ? Ебатся с перыомансом в итоге ?
У тебя неправильная претензия. Вместо того, чтобы сказать "сделайте поддержку дженериков", ты говоришь "выпиливайте нахуй", когда если в ЖБ найдется умный человек, который тайпроли (https://typesandkinds.wordpress.com/2013/08/15/roles-a-new-feature-of-ghc/) портирует на язык сабтайпингом, получится то, что все хотят
BP
Ты вытаскиваешь рантаймовую ошибку на уровень компайл-тайм проверки
Нет, ведь функции по сингеатуре совпадуть, если у меня есть аналогичная функция с типо который инлайню, интересно а компилятор выдаст ошибку ?
VP
но там просто варн, не ошибка
В общем, можно пример не-экспериментального инлайн-класса в kotlin-stdlib, который не Result?
(
Нет, ведь функции по сингеатуре совпадуть, если у меня есть аналогичная функция с типо который инлайню, интересно а компилятор выдаст ошибку ?
Ты её через рефлексию вызывать собрался, я понять не могу?
BP
А если серьезно, то релиз и правда вышел сырой, как и 1.2, как и 1.3. Это нас не оправдывает, но количество комбинаций фич, которые мы можем протестировать, много меньше того, что встречается в мире. И если самые очевидные мы можем отловить и пофиксить до релиза, благодаря М и RC, то более-менее заковыристые будут починены где-то через релиз, в 1.4.20.
Вот в этом и вопрос. Может стоит делать снапшот релизы ?
I
они всё равно боксятся в списках, ща найду обсуждение
И это известная проблема, что реифайд коллекций в язык пока не завезли.
I
Вот в этом и вопрос. Может стоит делать снапшот релизы ?
Уже делаются - M, RC вот эти вот.
BP
У тебя неправильная претензия. Вместо того, чтобы сказать "сделайте поддержку дженериков", ты говоришь "выпиливайте нахуй", когда если в ЖБ найдется умный человек, который тайпроли (https://typesandkinds.wordpress.com/2013/08/15/roles-a-new-feature-of-ghc/) портирует на язык сабтайпингом, получится то, что все хотят
С милион благами ? Спасибо не нужно
BP
Уже делаются - M, RC вот эти вот.
Не помогает как видишь 😢. Это реально отпугивает новичков
(
С милион благами ? Спасибо не нужно
миллион багов будет, если фичу будет делать типичный разработчик котлина
BP
Ты её через рефлексию вызывать собрался, я понять не могу?
Нет, в рантайме у тебя две функции с одинаковыми сигнатура и могут быть ? Ведь в функциях тип инлайниться