Haskell在元组中打印列表的所有元素

Question

我正在尝试打印给定电影标题的粉丝列表的所有元素，例如“阿凡达”的所有粉丝都不太清楚如何过滤它并将正确的元素显示为字符串。下面是带有一些测试数据的程序的类型定义。

import Data.Char
import Data.List

--types
type Title = String
type Director = String
type Year = Int
type Fans = [String]

type Film = (Title, Director, Year, Fans)

type Database = [Film]

testDatabase :: [Film]
testDatabase = [
 ("Blade Runner", "Ridley Scott", 1982, ["Zoe", "Heidi", "Jo", "Kate", "Emma", "Liz", "Sam", "Olga", "Tim"]),
 ("The Fly", "David Cronenberg", 1986, ["Garry", "Dave", "Zoe", "Kevin", "Emma"]),
 ("Body Of Lies", "Ridley Scott", 2008, ["Bill", "Olga", "Tim", "Zoe", "Paula"]),
 ("Avatar", "James Cameron", 2009, ["Dave", "Amy", "Liz"]),
 ("Titanic", "James Cameron", 1997, ["Zoe", "Emma", "Paula", "Liz", "Olga", "Dave"])]

Answer 1

对所有事物都使用类型同义词真的是在自取其辱。 data Film = Film Title Director Year Fans 在这种情况下比使用元组要好得多。定义一个单独的Film 数据类型将Film 与Title、Director、Year 和Fans 的元组之间的语义差异带入类型系统。这意味着您可以为它定义实例（如Show 或Eq），它们的行为方式与元组所提供的方式不同。它还会导致编译器拒绝（可能意外地）将恰好具有(String,String,Int,[String]) 类型的元组与实际Film 混合的代码。这增加了安全性，这是首先使用 Haskell 的主要原因之一。

也就是说，无论哪种方式，仅列出粉丝都非常简单：

listFans :: Film -> String
-- data way
listFans (Film _ _ _ fans) = intersperse ',' fans
-- tuple way
listFans (_,_,_,fans) = intersperse ',' fans

接下来，我们需要lookupFilm :: Database -> Title -> Maybe Film 来找到我们想要的电影。我们需要Maybe，因为Film 可能不在Database 中。

lookupFilm :: Database -> Title -> Maybe Film
lookupFilm db t = find (\(Film t' _ _ _) -> t == t') db

请注意，这不会“打印”字符串，它只是返回它们，因此您需要putStrLn . listFans :: Film -> IO () 才能实际输出它们。

如果您总是按标题查找电影，不妨使用Data.Map 中的Map Title Film。

最后：确保您了解find 和intersperse 的工作原理； Data.List 就像得到一条鱼，但您需要学习如何为自己钓鱼，以便在出现更复杂的问题时解决它们。