IO
Сейчас нельзя. Но речь о том, чтобы было можно
ну, пока что все возможные констрейты соответствуют джавовым
Size: a a a
2020 July 11
IO
мб для reified разве что можно вводить любые
IO
но это еще одно нарушение интеропа
AN
ну, пока что все возможные констрейты соответствуют джавовым
Чисто принципиально сделать контракт на компаньона не особо сложно. Просто обязуешь любой класс реализовывать компаньон определенного типа. Интероп ломается только если ты хочешь этот класс в джаве реализовывать
M
Подскажите почему я могу в функцию
map последним аргументом передать что угодно? И почему это вообще работает, откуда компилятор берет информацию о типе R?AN
Подскажите почему я могу в функцию
map последним аргументом передать что угодно? И почему это вообще работает, откуда компилятор берет информацию о типе R?Тип выводится. Но в данном случае работать не должно
AN
Оно точно работает?
M
Мне бы хотелось чтобы оно не компилировалось, но она даже как-от работает.
VP
Подскажите почему я могу в функцию
map последним аргументом передать что угодно? И почему это вообще работает, откуда компилятор берет информацию о типе R?Потому что почему бы и нет, если ограничений нет
А тип выводится
А тип выводится
AN
Потому что почему бы и нет, если ограничений нет
А тип выводится
А тип выводится
Там тип выводится конкретный. А он туда любой подставляет
AN
Оно должно сломаться сразу даже на втором аргументе. Потому что нужен листа, а там результ
AN
а, не вру. С результом все хорошо
AN
А зачем скобочки круглые вокруг R? их там быть не должно, хотя вряд ли это влияет
M
Я ожидаю, что он выведет R из второго аргумента и применит это ограничение на третий аргумент
AN
Я ожидаю, что он выведет R из второго аргумента и применит это ограничение на третий аргумент
скорее наоборот
M
скорее наоборот
Вывод с конца происходит?
AN
Вывод с конца происходит?
Тут пути немного неисповедимы. Но там конкретный тип стоит.
IO
А зачем скобочки круглые вокруг R? их там быть не должно, хотя вряд ли это влияет
красиво
IO
вообще не думал, что так можно писать
VP
Тут пути немного неисповедимы. Но там конкретный тип стоит.
Где?