Oℕ
все эти преимущества бессмысленны в инлайн контексте
Size: a a a
2021 March 09
Oℕ
неабстрактные неинлайн методы через инлайны реализовать нельзя
Oℕ
а примитивные типы всё равно не будут бокситься, потому что в байткоде не будет вызова
w
а примитивные типы всё равно не будут бокситься, потому что в байткоде не будет вызова
хахаха, да мне вообще похуй
NV
чет ты накидал про неабстрактные мембер-методы, мне на них вообще пофиг. здесь я использую сам-трейты просто как ньютайпы
NV
отчасти потому что просто не хочу их мешать с обычными функциями, отчасти потому что они будут использоваться не только в инлайн контексте
w
отчасти потому что просто не хочу их мешать с обычными функциями, отчасти потому что они будут использоваться не только в инлайн контексте
хахаха, да мне вообще похуй
NV
идти далеко за примером не пришлось
Oℕ
опять же
type Post чем не угодил
type Post чем не угодил
λ
Основная бизнес-алгебра Почты России. Принять посылку и потерять, потратив какую-то работу в эффекте F.
NV
опять же
type Post чем не угодил
type Post чем не угодил
NV
надо спросить у Nizhnik
Oℕ
я понимаю откуда это
Oℕ
я не понимаю в инлайн контексте зачем это
Oℕ
в тофу это для того, чтобы Foo[Post[F, *]] делать
NV
в тофу это для того, чтобы Foo[Post[F, *]] делать
type Post чем не угодил?
Oℕ
но инлайны ты не засунешь всё равно туда
NV
в тофу это для того, чтобы Foo[Post[F, *]] делать
type Post[F[_], T] = T => F[Unit]