Мой тип списка в haskell

Question

Я пытаюсь создать собственный тип списка в haskell, но моя реализация содержит ошибки. Каков правильный способ сделать это приятно. Пожалуйста, объясните мне немного. Спасибо.

Мой код: Код

data List a = EmptyList | ListElement a (List a) 

instance (Show a) => Show (List a) where 
     show = showList' 

showList' EmptyList = showString "[]" 
showList' (ListElement a EmptyList) = show a 
showList' (ListElement a b) = show a ++ show " " ++ showList' b 

Ошибка:

[1 of 1] Compiling Main    (tipusok.hs, interpreted) 

tipusok.hs:12:39: 
    Couldn't match expected type `Prelude.String -> Prelude.String' 
       with actual type `[Char]' 
    Expected type: ShowS 
     Actual type: Prelude.String 
    In the return type of a call of `show' 
    In the expression: show a 
Failed, modules loaded: none. 

Answer 1

showList' EmptyList = showString "[]" 

Тип showStringString -> ShowS является. ShowS является синонимом типа для String -> String, поэтому результат showString "[]" является функцией, которая добавляет строку "[]" к ее аргументу. Поскольку вы не указали сигнатуру типа, это уравнение определяет, какой тип выводится для функции, но другие уравнения не соответствуют этому типу.

Вы, наверное, хотели просто

showList' EmptyList = "[]" 

Answer 2

Ваш состав show функций неверен. Я думаю, вы хотите интерполировать ценности.

showList' (ListElement a b) = show a . showChar ' ' . show b 

должно быть что-то вроде:

showList' (ListElement a b) = show a ++ " " ++ showList' b