АО
Ожидалась строка, найдено число, позиция n, поле fieldName, актуальное значение actualValue (если возможно)
Ну и подсластить кусочком из оригинального инпута
Size: a a a
2020 October 20
АО
Ожидалась строка, найдено число, позиция n, поле fieldName, актуальное значение actualValue (если возможно)
Конкретно такое описание, мне кажется, вполне реально сделать хотя бы для json
AN
смотрите что нашёл
веточка с тестами прототипа мультиресиверов :)
там сейчас
и оно там даже для классов похоже работает и с дженериками
https://github.com/JetBrains/kotlin/compare/rr/shadrina/multiple-receivers-testing#diff-e4bf05e96a4e68dd600926aa8fa4db6c40578e03614b2bac22d46810cfa249c4`
веточка с тестами прототипа мультиресиверов :)
там сейчас
with как soft keywordи оно там даже для классов похоже работает и с дженериками
https://github.com/JetBrains/kotlin/compare/rr/shadrina/multiple-receivers-testing#diff-e4bf05e96a4e68dd600926aa8fa4db6c40578e03614b2bac22d46810cfa249c4`
Ну там очень ранний прототип (я видел доклад по этому поводу, но не хотел светить так как инсайд, но раз уж нашли...)
АО
смотрите что нашёл
веточка с тестами прототипа мультиресиверов :)
там сейчас
и оно там даже для классов похоже работает и с дженериками
https://github.com/JetBrains/kotlin/compare/rr/shadrina/multiple-receivers-testing#diff-e4bf05e96a4e68dd600926aa8fa4db6c40578e03614b2bac22d46810cfa249c4`
веточка с тестами прототипа мультиресиверов :)
там сейчас
with как soft keywordи оно там даже для классов похоже работает и с дженериками
https://github.com/JetBrains/kotlin/compare/rr/shadrina/multiple-receivers-testing#diff-e4bf05e96a4e68dd600926aa8fa4db6c40578e03614b2bac22d46810cfa249c4`
Я, если честно, так и не понял, как они это в типах описывать собираются
AN
Я, если честно, так и не понял, как они это в типах описывать собираются
Псевдо-аннотациями. Но как сделать эти декораторы прозрачными я пока не очень представляю. Синтаксис-то сам нормальный вполне.
АО
Ну то есть как выразить примерно такую запись с with
val something: (Type1, Type2).() -> UnitАО
Псевдо-аннотациями. Но как сделать эти декораторы прозрачными я пока не очень представляю. Синтаксис-то сам нормальный вполне.
Пожалуйста, не надо аннотаций
АО
Так счастливо без них (почти, ок) жилось, и в сериализации, и в кторе, и в стдлиб, зачем засорять-то
AN
Пожалуйста, не надо аннотаций
А они не аннотации
val something: @with<Type1,Type2> ()->Unit
AN
Мне тоже пока вариант со скобочками больше нравится
АО
А они не аннотации
val something: @with<Type1,Type2> ()->Unit
Ну и в итоге получается, что всё равно новый синтаксис, всё равно лопатить компилятор. Мне просто не совсем понятно, на чем они хотят сэкономить
AN
Ну и в итоге получается, что всё равно новый синтаксис, всё равно лопатить компилятор. Мне просто не совсем понятно, на чем они хотят сэкономить
На сущностях. Так одна сущность и на декораторы и на мультиресиверы
VP
А они не аннотации
val something: @with<Type1,Type2> ()->Unit
Не очень понятно, что в типе делает конкретный декоратор
AN
Не очень понятно, что в типе делает конкретный декоратор
Я не понял вопроса
АО
На сущностях. Так одна сущность и на декораторы и на мультиресиверы
Не понял, если честно
AN
Не понял, если честно
Ну декораторы - клевая штука. По-моему никто не спорит. А тут как бы попытка этими же декораторами перекрыть еще и мультиресиверы, чтобы добавлять одну фичу, а не две.
VP
Я не понял вопроса
with сам по себе - это обычный декоратор, разве нет?
А в типе функции должны быть типы ресиверов, а не декораторы, которые в ней используются.
А в типе функции должны быть типы ресиверов, а не декораторы, которые в ней используются.
AN
with сам по себе - это обычный декоратор, разве нет?
А в типе функции должны быть типы ресиверов, а не декораторы, которые в ней используются.
А в типе функции должны быть типы ресиверов, а не декораторы, которые в ней используются.
Ну компоузабл - это обычная функция, но ее можно использовать только в определенном месте. Так и тут, функцию с таким декоратором можно будет использовать только в определенном скоупе
AN
Все проблемы сводятся к тому, что на декораторе не написаны явно его типы. Как сделать это прозрачным - не понятно
АО
Ну декораторы - клевая штука. По-моему никто не спорит. А тут как бы попытка этими же декораторами перекрыть еще и мультиресиверы, чтобы добавлять одну фичу, а не две.
Ну, во-первых, это выдают за две. Во-вторых - а что декоратор делает в типе-то? Декоратор - это по-сути сахар для избегания лесенок, => это часть тела функции