https://github.com/zio/izumi-reflect - выложил облегченную шнягу. Пока еще не доделано

Я вот не пойму, почему обертка поверх макросов работает лучше, чем рантайм рефлексия самой скалы

Они сами не могли сделать все нормально?

я в ридми написал

Во-первых, наша модель упрощенная

Поэтому нам не нужен целый скалак в рантайме

хватает одного рекурсивного метода на двести строк

А, так вот почему light type tag

Четко

Во-вторых, они свой тайптег делали путем натягивания жопы на сову - они просто вытащили половину скалака и его структур в рантайм. При этом еще и обосрались с потокобезопасностью

вроде разобрался. выглядит очень похоже на TypeTag

Я там специально в хедере это написал

эх арья должен бы быть уже экспертом по пастам

но так и не разобрался, на кого очень похож AndreySugak

Надо новый тренд запустить. Нафига использовать трейты когда есть конкретные классы. Или нафига использовать классы когда есть объекты. Или нафига использовать объекты, когда можно просто в железе функции реализовать и оптимизировать под конкретное использование.

Ваши абстрактные тайпкласы не умеют работать с моими новыми тринадцатифункторами, поэтому придётся всё писать в железе. Объекты ваши слишком усложняют понимание новичками кода. Толи дело FPGA или аналоговая схемотехника. Там всё просто и по делу.

очень сложная шутка, не понял, в чей огород камень

Мне кажется в огород автора статьи

Какой статьи?

IO and tagless final?

Пятничные инсинуации насчёт абстрагирования по эффекту в вэлью-коде от 47градусного инженера
https://gist.github.com/cb372/b54c974d2aa29bfdf4ef19f3535c719e