ML
Вообще говоря нет. Unit может быть передан вместо Any. Пустота не может
? вот тут не понял
Size: a a a
2021 February 18
AL
Вообще говоря нет. Unit может быть передан вместо Any. Пустота не может
я говорю именно про (Unit) -> T, а не (Any) -> T
AM
С практической -- да, можно даже функцию сделать соответствующую. Но с точки зрения системы типов это всё же разные вещи в котлине.
AL
С практической -- да, можно даже функцию сделать соответствующую. Но с точки зрения системы типов это всё же разные вещи в котлине.
да, формально это разное
(
? вот тут не понял
interface Heh<T> {
fun <R> m(t: T): R
}
Heh<Unit>ML
С практической -- да, можно даже функцию сделать соответствующую. Но с точки зрения системы типов это всё же разные вещи в котлине.
можно было убрать арность 0
ML
interface Heh<T> {
fun <R> m(t: T): R
}
Heh<Unit>теперь понял
AM
можно было убрать арность 0
Чтобы что?
ML
Чтобы что?
ML
чтобы мне не пришлось писать кучу экстеншнов
AN
interface Heh<T> {
fun <R> m(t: T): R
}
Heh<Unit>
AM
можно было убрать арность 0
Окей, а
(T) -> R и (T, Unit) -> R -- эт тоже одно и то же?AL
вопрос кстати не для оффтопа 😄
VP
чтобы мне не пришлось писать кучу экстеншнов
Что вы там такое пишете, что уже пару лет болит от этой "проблемы"?
(
Окей, а
(T) -> R и (T, Unit) -> R -- эт тоже одно и то же?И ещё вот это, да
AM
вопрос кстати не для оффтопа 😄
Этим без толку объяснять :(
ML
Окей, а
(T) -> R и (T, Unit) -> R -- эт тоже одно и то же?неа) я же предлагаю считерить и убрать арность 0
AM
неа) я же предлагаю считерить и убрать арность 0
Ню такое.
ML
вопрос кстати не для оффтопа 😄
я давно уже в основу не захожу, там слишком душно
АХ
Окей, а
(T) -> R и (T, Unit) -> R -- эт тоже одно и то же?Изоморфно,
x*1 = x