vs tagless final? или примерно тоже самое что free monad vs TF?
интересно для случая когда надо типизированный DSL преобразовывать в некий другой DLS на чем то типа json - наверное это даже по смыслу похоже на твой Typed Schema
По смыслу на typed schema не похоже, потому что мой DSL он тайплевел Список, вероятно, тот же самый.
Обсуждают сегодня