Неоднозначные типы с использованием ListLike

Question

Я пишу функцию в Haskell для создания гистограммы из любых ListLike с Ord элементами:

import qualified Data.ListLike as LL
...
frequencies :: (Ord x, LL.ListLike xs x) => xs -> [(x, Int)]
frequencies xs = LL.map (\x->(LL.head x, LL.length x)) $ LL.group $ LL.sort xs

При попытке скомпилировать приведенный выше код я получаю сообщение об ошибке о неоднозначных типах:

 Ambiguous type variable `full0' in the constraint:
 (LL.ListLike full0 xs) arising from a use of `LL.group'
 Probable fix: add a type signature that fixes these type variable(s)
 In the expression: LL.group
 In the second argument of `($)', namely `LL.group $ LL.sort xs'
 In the expression:
 LL.map (\ x -> (LL.head x, LL.length x)) $ LL.group $ LL.sort xs

LL.group имеет тип (ListLike full0 full, ListLike full item, Eq item) => full -> full0, что соответствует (Eq a) => [a]->[[a]] в терминах обычных списков.

Я не понимаю, почему существует проблема с неоднозначными типами.Может ли Хаскелл каким-то образом не понять, что существует такой тип, как «ListLike с full в качестве элементов», то есть full0?

Answer 1

Неужели Haskell каким-то образом не может сделать вывод, что существует такой тип, как «ListLike с full в качестве элементов», то есть full0?

Нет, проблема в том, что естьслишком много типов для выбора full0, и компилятор Haskell не знает, какой использовать.Подумайте об этом: в общем, может быть более одного типа full0, который является списочным типом с full в качестве элементов: [full] или Data.Sequence.Seq full или многими другими вариантами.И из-за общности определения LL.map, full0 равно , а не ограничено до [full] от типа возврата функции frequencies.

Если вы хотитедля ограничения full0 на [full], один из способов сделать это - заменить LL.map в определении frequencies на простой старый map для списков.