список некоторых конструкций. Как можно ухитриться сделать так, что бы элементы этого списка были не конструкторами какого-то типа, а чем-то самостоятельным, с определенными, допустим, тайпклассами. Т.е что бы можно было увеличивать количество интерпретируемых элементов. @qnikst вы что-то подобное делали для графов?
Ничего не понял, но ассоциации две 1) Data Types a la Carte (Swierstra) 2) Finally Tagless (Kiselyov)
можешь скинуть какой-нибудь минимальный пример я нарисую решение
Обсуждают сегодня