Список данных - проверка наличия пустого списка

Question

У меня есть следующее. Он просто проверяет, пуст ли List. Однако, если я попытаюсь запустить его с main, я получаю сообщение об ошибке. Как мне изменить функцию main, чтобы запустить ее правильно?

data List a = Nil | Cons a (List a) 

vnull :: List a -> Bool 
vnull Nil = True 
vnull _ = False 

main = do print (vnull [1,2]) 

Ошибка заключается в следующем:

Couldn't match expected type `List a0' with actual type `[Integer]' 
    In the first argument of `vnull', namely `[1, 2]' 
    In the first argument of `print', namely `(vnull [1, 2])' 
    In a stmt of a 'do' block: print (vnull [1, 2]) 

Answer 1

Переход к:

main = print $ vnull $ Cons 1 $ Cons 2 Nil 

производит:

False 

Answer 2

он работает как он реализован:

vnull Nil 
True 

vnull (Cons 1 Nil) 
False 

vnull (Cons 2 (Cons 1 Nil) 
False 

... 

вы можете попробовать следующие команды в ghci, чтобы получить всю информацию о [] Тип данных:

Prelude> :t [] 
[] :: [t] 
Prelude> :i [] 
data [] a = [] | a : [a] -- Defined in ‘GHC.Types’ 
instance Eq a => Eq [a] -- Defined in ‘GHC.Classes’ 
instance Monad [] -- Defined in ‘GHC.Base’ 
instance Functor [] -- Defined in ‘GHC.Base’ 
instance Ord a => Ord [a] -- Defined in ‘GHC.Classes’ 
instance Read a => Read [a] -- Defined in ‘GHC.Read’ 
instance Show a => Show [a] -- Defined in ‘GHC.Show’ 
instance Applicative [] -- Defined in ‘GHC.Base’ 
instance Foldable [] -- Defined in ‘Data.Foldable’ 
instance Traversable [] -- Defined in ‘Data.Traversable’ 
instance Monoid [a] -- Defined in ‘GHC.Base’ 

для вашей функции применим к [] параметра вам нужно что-то вроде:

vnull :: [a] -> Bool 
vnull [] = True 
vnull _ = False 

Answer 3

Вы можете: instance Foldeable List where foldMap f Nil = mempty foldMap f (Cons x ls) = mappend (f x) (foldMap ls) Затем используйте (fold [1,2])::List Int

Answer 4

List a 

и

[] 

Существуют два различных конструкторов и не тот же тип данных, функция будет работать для Сдать типа, поэтому вместо «[]» попробовать это:

vnull :: List a -> Bool 
vnull Nil = True 
vnull (Cons a expand) = False 

Затем в основной

main = do print (vnull $ Cons 1 (Cons 2 Nil)) --This is just an example you can throw in a -List a- type of any length. 

И это должно исправить это.

Answer 5

Если вы хотите, чтобы использовать тип List с обычным синтаксисом списка, вам нужно будет использовать расширения GHC.

{-# LANGUAGE OverloadedLists, TypeFamilies #-} -- at the very top of the file 

import qualified GHC.Exts as E 
import Data.Foldable 

data List a = Nil | Cons a (List a) deriving (Show, Eq, Ord) 

instance Foldable List where 
    foldr _ n Nil = n 
    foldr c n (Cons x xs) = x `c` foldr c n xs 

instance E.IsList List where 
    type Item (List a) = a 

    fromList = foldr Cons Nil 
    toList = toList 

Answer 6

Это то, что вам не хватает:

data List a = Nil | Cons a (List a) deriving Show 

fromList = foldr Cons Nil 

vnull :: List a -> Bool 
vnull Nil = True 
vnull _ = False 

main = do print (vnull $ fromList [1,2]) 

происходящий Show не нужно сейчас, но будет, когда вы на самом деле хотите, чтобы напечатать список, а не Bool. Функция fromList ничего не делает, но для преобразования Haskell Listimplementation (здесь [1,2]) в вашу собственную, поэтому вы можете называть vnull на ней. Вы могли бы также назвать

main = do print $ vnull (Cons 1 (Cons 2 (Nil)))