HList
После "понимания" HList всё время руки тянутся применить его где-либо.
(понимание взято в кавычки потому, что не до конца - построение HList с уникальными "элементами" от меня ускользает. (элементы взяты в кавычки потому, что это типы, не значения))
Например, с его помощью можно описывать строго типизированные (и даже циклические) графы индуктивным методом, каковая возможность может пригодиться во многих местах.
(понимание взято в кавычки потому, что не до конца - построение HList с уникальными "элементами" от меня ускользает. (элементы взяты в кавычки потому, что это типы, не значения))
Например, с его помощью можно описывать строго типизированные (и даже циклические) графы индуктивным методом, каковая возможность может пригодиться во многих местах.