Описание тега hlist

Описание тега Вопросы с тегом
HList, что означает "разнородные списки", представляет собой структуру данных для списка элементов разных, но известных во время компиляции типов. Этот тег слабо связан с [list] и не имеет отношения к [html-lists]

HList, что означает "разнородные списки", представляет собой структуру данных, распространенную в строго типизированных функциональных языках, которая представляет собой список элементов различных, но известных во время компиляции типов. Это также означает, что длина списка также известна во время компиляции.

Примером конкретного типа HList может быть Int :: String :: Double и конкретное значение типа соответствия 42 :: "foo" :: 3.1415

Некоторые известные реализации: