Задумал создать класс Контейнера, с тем, чтобы использовать в функциях в качестве аргумента не только, например, список с целочисленным ключем, но и любой тип, который может содержать значения и однозначно их искать по любому сравниваемому (Eq
) ключу.
class Container c where
at :: (Eq k) => c -> k -> v
Трудности начались сразу, как только попытался создать инстанцию класса для того же списка (код нерабочий):
{-
instance Container [a] where
at lst k = lst !! k
-}
Выводит следующее сообщение об ошибке:
• Couldn't match expected type ‘Int’ with actual type ‘k’ ‘k’ is a rigid type variable bound by the type signature for: at :: forall k v. Eq k => [a] -> k -> v
То есть, ключу, мол, недостаточно быть Eq
, но он явно должен быть Int
, как того требует !!
. Логично, конечно! Но как бы мне вывернуться и реализовать свою идею несмотря на это?
PS Желательно бы в рамках стандартного языка, без расширений.
PPS Требуется, также, критика ответа, данного самим автором вопроса ⬎