Haskell, Gen экземпляр B, когда класс A предоставляет достаточно информации для класса B

При написании класса для типа Коллекция / Контейнер (кстати, укажите мне на существующие типы, если я заново изобретаю колесо), чтобы обеспечить общий интерф...

Наш дизайн реализуется в Glasgow Haskell Compiler, ghc.

ел изучить Template Haskell, но все учебники, которые я нахожу, предполагают, что вы изучили lisp и знаете, что такое макросы lisp, или что вы знаете некоторый жаргон теории cs - такие вещи, как сращивания, квази-цитаты и т. Д. - или некоторые ...

Можно ли получить тип любого выражения, используя Template Haskell?

Функция для вывода имени функции

Возможно ли в Haskell реализовать функцию, которая возвращает собственное имя функции? Возможный тип может быть(a -> b) -> String.

Можно ли использовать синтаксический сахар в скобках для аппликативного функтора?

ВMcBride и Paterson 's Прикладное программирование с эффектами' они вводят некоторый прекрасный синтаксический сахар для подъема чистой функции:

Haskell: шаблон Haskell и область применения

Этот код скомпилирован нормально:

Функция для вывода имени функции

Как написать монаду, которая печатает «шаг i из N» при выполнении каждого оператора в монаде?

Я даже не уверен, что это возможно в любой монаде; это нарушает законы монады? Но кажется, что-то, что должно быть возможно в той или иной конструкции. Конкретно есть ли способ иметь что-то, что я могу написать что-то вроде do someOp () ...

Каковы различия между inline-c и language-c-inline?

Я кратко изучал библиотеки квази-цитат для Haskell. Эти библиотеки позволяют Haskell интегрироваться с другими языками. Для интеграции с C существует два пак...

Получить имена полей записи Haskell в виде списка строк?

Скажем, у меня есть следующее: data Rec = Rec { alpha :: Int, beta :: Double, phi :: Float } sample = Rec 1 2.3 4.5Я понимаю шаблон Haskell & thereify Функция может получить мне имена полей записи. Это: print $(f sample) --> ["alpha", "beta", ...