книжках не касается, а ведь позволяет делать то что бывшие явисты питонисты и другие рефлекс зависимые хотели бы использовать.
а что например?
Да пригодится для любого аналога визитера. Убил пару недель чтобы написать генератор визитка на шаблонах для взаимнорекурсивных типов и только теперь понял что рефлексия всё-таки есть и можно было обойтись малой кровью. Просто жалко что когда учиш по книжкам создаётся впечатление что рефлексии нет и это новичка удручает. Нечего ответить в холиворе.
У syb (ну и рефлексии вообще, и не только в Haskell) бывают проблемы с производительностью на больших деревьях. И когда такие проблемы возникают, пить боржоми уже поздно - надо кардинально перестраивать все структуры и алгоритмы. Лучше уж сразу схемы рекурсии.
тем более что для них plate и cosmos очень легко сделать
Схемы рекурсии требуют переколбасить все типы у полей. Плюс поддержка взаимной рекурсии это что-то нечто мне наверное месяц курить статьи придется и не факт что что то будет . Примеров мало.
кстати есть еще такое https://github.com/lamdu/hypertypes
глючная контринтуитивная липа)
вот на таком примере всё работает, но создать лямбду и сразу применить я не осилил
а это тут при чем? ты хоть знаешь о чем хайпертайпс?
а, это другой проект от тех же челов
Обсуждают сегодня