типов в аргументах функциях. Например функция берет UInt, а хочется, чтобы она автоматом брала и Int. Или берет Name, а хочется, чтобы она брала еще и String( val n: Name = Name.parse(str)`. Недавно @InsanusMokrassar об этом писал. Как в груви делать, разумеется не надо. Но вот может это как-то можно красиво с декораторами сделать? Типа вешаем декоратор и он генерирует вторую версию функции (желательно только в метадате) с конверсией аргументов.
Можешь написать ишью в треккер конструктивно если ее еще нет? Оно конечно будет не скоро, но вроде хороший кейс для декораторов
Конечно, правда, чуть позже
Ну уж нет, инты к уинтам автоматически приводить -- херовая затея, как по мне. Даже несмотря на то, что это без потерь делается.
Я перепутал. Там наоборот надо UInt к интам
туда обратно можно без потери информации же
По факту UInt - это субкласс Int (если не брать переполнение). Это Инт с дополнительными условиями. Но я же написал, декораторы похоже это позволяют делать явно
нельзя не брать в учёт переполнение, т.к. оно обязательно будет
Согласен. Но если эта конверсия явно прописана в декораторе вроде нормально выглядит. То есть если кто-то пишет его, он(а) явно говорит, что тут нас переполнение не волнует
Не понял, вы о каком декораторе?
А есть какие новости по юнионам?
Это к @ilmirus
https://youtrack.jetbrains.com/issue/KTIJ-20663
Обсуждают сегодня