在Haskell中，如何將列表中的項目作爲字符串返回？

Question

我有一個類型的電影如下：

type Film = (String, String, Int, [Rating]) 
type Rating = (String, Int) 

我的目標，是要在一個數據庫電影的列表，像這樣：

myDatabase :: [Film] 
myDatabase = [("Batman","Nolan",2012, [])] 

並且在功能showFilms，它返回整個列表作爲一個字符串值。

我的代碼如下：

showFilms :: [Film] -> String 
showFilms []  = [] 
showFilms (x:xs) = output: showFilms xs 
       where [[output]] = title ++ director ++ [(show year)] ++ [(show ratings)] 
         film = [film | (film) <- [x]] 
         title = [title | (title,director,year,ratings) <- film] 
         director = [director | (title,director,year,ratings) <- film] 
         year = [year | (title,director,year,ratings) <- film] 
         ratings = [ratings | (title,director,year,ratings) <- film] 

它編譯於WinGHCi，但是當我不是一個空數據庫等輸入什麼，我得到這個錯誤：

*** Exception: HaskellCW.hs:32:29-95: Irrefutable pattern failed for pattern [[output]] 

任何幫助，爲什麼這正在發生，以及如何解決它將不勝感激。

我對這種語言相當陌生，所以如果它不是最優雅的做法，我們很抱歉。

在此先感謝。

Answer 1

問題是title ++ director ++ [(show year)] ++ [(show ratings)]求值爲字符串列表，它是一列字符串，但只有在列表中只有一個字符串並且一個字符串只包含一個字符的情況下，模式[[output]]纔會匹配。

在我看來，你想要做的是把x變成一個字符串。除非你想有一個特定的格式，爲什麼不去做這樣的

showFilms :: [Film] -> String 
showFilms []  = [] 
showFilms (x:xs) = output ++ showFilms xs 
      where output = title ++ director ++ (show year) ++ (show ratings) 
        (title, director, year, ratings) = x 

Answer 2

，下面的代碼就足夠了，因爲String和Int是Show實例：

showFilms :: [Film] -> String 
showFilms = show 

請注意，您還可以閱讀你的數據庫從字符串返回，因爲這些類型也是實例Read：

readFilms :: String -> [Film] 
readFilms = read 

如果你想特定的格式，更好地想了一個片約Film -> String第一，並映射在你的數據庫功能：

showFilm :: Film -> String 
showFilm (title, director, year, ratings) 
    = title ++ " " ++ director ++ " [" ++ (show year) ++ "] [" ++ (show ratings) ++ "]" 

showFilms' :: [Film] -> String 
showFilms' = unlines . map showFilm