NV
я не понимаю в инлайн контексте зачем это
Size: a a a
2021 March 09
Oℕ
type Post[F[_], T] = T => F[Unit]
не будут работать некоторые вещи, потому что будет раскрываться этот тип там, где не надо
w
не будут работать некоторые вещи, потому что будет раскрываться этот тип там, где не надо
хахаха, да мне вообще похуй
Oℕ
а для инлайнов этот тип бессмысленнен
Oℕ
приведи контекст, где он для инлайнов полезен
NV
я не только в инлайнах хочу это использовать
Oℕ
так нет ни одного типа, который был бы полезен и там и сям
Oℕ
inline (A, B, C) => D - это вообще почти что не тип, это скорее просто
Expr[D], с известными свободными переменными типов A, B и C
Expr[D], с известными свободными переменными типов A, B и C
Oℕ
какой смысол туда трейты пихать, которые в рантайме трейтами нужны
NV
я просто хочу иметь интерфейсы, которые можно композировать инлайново в компайл-тайме в один большой метод
NV
а потом уже работать с ним как с нормальным объектом
NV
что в этом плохого?
NV
например хоть жсон-парсер
C
inline (A, B, C) => D - это вообще почти что не тип, это скорее просто
Expr[D], с известными свободными переменными типов A, B и C
Expr[D], с известными свободными переменными типов A, B и C
Нечитабельная залупа
