1

Задумал создать класс Контейнера, с тем, чтобы использовать в функциях в качестве аргумента не только, например, список с целочисленным ключем, но и любой тип, который может содержать значения и однозначно их искать по любому сравниваемому (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 Требуется, также, критика ответа, данного самим автором вопроса ⬎

3 ответа 3

2
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances #-}

import qualified Data.Map as Map
import qualified Data.Vector as Vector
import qualified Data.Array as Array

class Container c k | c -> k where
  at :: c a -> k -> a

instance Container [] Int where
  at = (!!)

instance Container (Vector.Vector) Int where
  at = (Vector.!)

instance Ord k => Container (Map.Map k) k where
  at = (Map.!)

instance Array.Ix k => Container (Array.Array k) k where
  at = (Array.!)

main = do print ([1,2,3] `at` 1)
          print (Map.fromList [('x', True), ('y', False)] `at` 'x')
          print (Vector.fromList "abc" `at` 0)
          print (Array.listArray (False, True) ["false", "true"] `at` True)
3
  • @extm Не уверен, на сколько кошерно использование {-# LANGUAGE, вообще не знаю как к этому относится - недостаточно опыта в Haskell
    – asianirish
    2 июн 2019 в 20:51
  • @extm Безусловно, лучшей была бы реализация идеи на "чистом" Haskell (если только такое возможно). Обосновать не смогу - чисто эстетическое чувство, возможно оно меня обманывает. Но голос отдал
    – asianirish
    2 июн 2019 в 21:01
  • 2
    @asianirish Последняя редакция языка вышла почти 10 лет назад, очередная на подходе, остается только надеяться, что на этот раз комитет не поскупится на стандартизацию тех расширений, без которых буквально не обойтись.
    – extrn
    3 июн 2019 в 6:40
1

Тут проблема в том, что [] не может быть инстансом вашего класса. Инстансы вашего класса, по определению, должны индексироваться чем угодно с Eq, а [] индексируется только Intом. Список нельзя индексировать Stringами, например.

2
  • Может быть как-нибудь хитро класс составить?
    – asianirish
    3 июн 2019 в 7:27
  • С классом все в порядке, это [] к нему не подходит. Модифицируйте [], чтобы он мог индексироваться не только Intами, или вообще не делайте [] инстансом своего класса.
    – arrowd
    3 июн 2019 в 11:36
0

Получил то, что хотел:

module R.Container
(
    Container (..)
) where


class Container c where
    at :: (Show k, Eq k) => c a -> k -> a


toInt :: (Show s) => s -> Int
toInt r = let s = show r
          in  (read s :: Int)


instance Container [] where
    at arr k = arr !! toInt k

{-
*R.Container> at [1,2,3] 1
2
-}

toBool :: (Show s) => s -> Bool
toBool r = let s = show r
           in  (read s :: Bool)


data MyPair a = MyPair { ifTrue :: a, ifFalse :: a } deriving (Show)


instance Container MyPair where
    at (MyPair a b) k = let yes = toBool k
                        in  if yes then a else b 

{-
*R.Container> let myPair = MyPair 12 13
*R.Container> at myPair True
12
*R.Container> at myPair False
13
-}

toIntPair :: (Show s) => s -> (Int,Int)
toIntPair r = let s = show r
           in  (read s :: (Int,Int))

data Matrix a = Matrix {arr2d :: [[a]]} deriving (Show)


instance Container Matrix where
    at mtrx k = let (f,s) = toIntPair k
                    arrs = arr2d mtrx
                    arr = arrs !! f
                in  arr !! s

{-
*R.Container> let mtrx = Matrix [[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,12,11,10]] 
*R.Container> at mtrx (3,1)
12
*R.Container> at mtrx (3,0)
13
-}

Пришлось, правда, указать ограничитель типа ключа как Show, но не могу найти довода, почему это таки плохо (?)

С благодарностью приму любую самую строгую критику.

6
  • Ну и как оно будет работать при k ~ Bool, например?
    – arrowd
    3 июн 2019 в 11:38
  • @arrowd использую аналогичную функцию toBool
    – asianirish
    3 июн 2019 в 11:42
  • @arrowd добавил в исходник пример использования ключа типа Bool для кастомного контейнерного типа MyPair
    – asianirish
    3 июн 2019 в 12:56
  • @all добавил поиск в двухмерном массиве, где в качестве ключа используется пара целых чисел (Int, Int)
    – asianirish
    3 июн 2019 в 13:36
  • 1
    Типобезопасность - одна из сильнейших сторон haskell. Если программа скомпилировалась - то она с большой вероятностью работает правильно. at (MyPair 12 13) 1 должна падать с ошибкой компиляции, а не с ошибкой времени выполнения, это все-таки не python. Также преобразование ключа в строку и обратно - совершенно не нужный удар по производительности. Если выбирать между таким решением и использованием расширений - выбор очевиден. P.S. ограничение Eq тут не нужно.
    – extrn
    3 июн 2019 в 17:11

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.