AM
Изоморфно,
x*1 = xИзоморфно, конечно, как и изначально прозвучавшие в вопросе
с
() -> Tс
(Unit) -> T
. Но не одно и то же с точки зрения котлина.Size: a a a
2021 February 18
ML
Что вы там такое пишете, что уже пару лет болит от этой "проблемы"?
ну по паре раз в год накидываю какой-нибудь обобщенный dslчик и каждый раз сталкиваюсь с этой хуитой, которая заставляет меня писать один и тот же код с минимальными отличиями, чтобы удовлетворить компилятор. Чувствую себя сраным гофером
(
Единственное, что наверное в языке можно было бы прикостылить, это генерация специализированных оберток, где Unit прячется
(
Но это была бы не та же самая функция
ML
Изоморфно, конечно, как и изначально прозвучавшие в вопросе
с
() -> Tс
(Unit) -> T
. Но не одно и то же с точки зрения котлина.Угу, оно то изоморфно, но я бы вообще убрал () -> T, ибо нахуя дубликаты)
VP
Угу, оно то изоморфно, но я бы вообще убрал () -> T, ибо нахуя дубликаты)
() -> T не наследует (Any) -> TVP
Так что не в этом языке 😏
AM
ну по паре раз в год накидываю какой-нибудь обобщенный dslчик и каждый раз сталкиваюсь с этой хуитой, которая заставляет меня писать один и тот же код с минимальными отличиями, чтобы удовлетворить компилятор. Чувствую себя сраным гофером
Так а что мешает сделать
и пользоваться ими вместо дубликации кода?
(Писал в телеге с телефона, копипастить нинада)
fun <T> makeUnary(f: () -> T): (Unit) -> T = { _ -> f() }
fun <T> makeNullary(f: (Unit) -> T): () -> T = { f(Unit) }и пользоваться ими вместо дубликации кода?
(Писал в телеге с телефона, копипастить нинада)
AM
Наверное, раз в полгода неприятно, конечно, но не вижу серьёзных причин такой спешл кейс завозить.
AM
Как, кстати, функция с нулевой арностью называется? Zeroary?)) Я понимаю, что в чистых языках это константа, но всё же.
VP
Как, кстати, функция с нулевой арностью называется? Zeroary?)) Я понимаю, что в чистых языках это константа, но всё же.
getter 🌚
(
Как, кстати, функция с нулевой арностью называется? Zeroary?)) Я понимаю, что в чистых языках это константа, но всё же.
nullary
AM
nullary
Спасибо
I
AD
как же давно я в Just Before Crash не заходил 🌚
AM
AM
Ну, простым смертным
I
А как это запомнить?
Там подсказка есть, когда
/ набираешьAM
Там подсказка есть, когда
/ набираешьА, там ток одна опция, оке