Haskellデータに入力する

Question

フィルムの種類をデータ型に変更しようとしているので、注文して保存してファイルに読み込みが容易になるため、関数を適切な引数と一致させるのに問題があります。多くの種類の作業が簡単です。

type Rating = (String, Int) 
--type Film = (String, String, Int, [Rating]) 
data Film = Film String String Int [Rating] 
     deriving (Show,Ord,Eq, Read) 

testDatabase :: [Film] 
testDatabase = [] 

testFilm = ("Test","Test",2012,[("Test",8),("Test",5)]) 

saveToFile :: IO() 
saveToFile = do 
    putStrLn "Enter the output filename: " 
    name <- getLine 
    writeFile name (show testDatabase) 
    putStrLn "Done" 

loadFromFile :: IO() 
loadFromFile = do 
    putStrLn "Enter the input filename: " 
    name <- getLine 
    contents <- readFile name 
    let testDatabase = length contents `seq` (read contents :: [Film]) 
    putStrLn formatDatabase 
    putStrLn "Done" 


average xs = realToFrac (sum xs)/genericLength xs 

addFilm :: String -> String -> Int -> [Film] -> [Film] 
addFilm title director year db = db ++ Film title director year [] 

filmsByDirector :: String -> [Film] 
filmsByDirector name = filter (\(a,_,_,_) -> a == name) testDatabase 

filmsByRating :: Float -> [Film] 
filmsByRating rating = filter (\(_,_,_,a) -> filmRating a > rating) testDatabase 

filmsByYear :: Int -> [Film] 
filmsByYear year = filter (\(_,_,a,_) -> a == year) testDatabase 

filmRating :: [(String,Int)] -> Float 
filmRating ratings = average (map snd ratings) 

formatString :: Film -> String 
formatString (dir, film, year, rat) = printf "\n\nDirector: %s \nFilm Name: %s \nYear: %s \nRating: %4.2f" (show dir) (show film) (show year) (filmRating rat) 

formattedByYear :: Int -> String 
formattedByYear year = concatMap formatString $ filmsByYear year 

formattedByDirector :: String -> String 
formattedByDirector dir = concatMap formatString $ filmsByDirector dir 

formatDatabase = concatMap formatString $ testDatabase 

Answer 1

代わりにあなたがパターンを(,,,)コンストラクタを使用

filmsByDirector name = filter (\(a,_,_,_) -> a == name) testDatabase 

の、必然的に変更することがあまりありません、あなたはFilmコンストラクタを使用

filmsByDirector name = filter (\(Film a _ _ _) -> a == name) testDatabase 

と同様のため他の機能。

しかし、それは名前付きフィールド（またはレコード）構文を使用して

data Film = Film { director, title :: String, year :: Int, ratings :: [Rating] } 

を定義することがはるかに便利だとあなたが不快にしているならば、関数は単に

filmsByDirector name = filter ((name ==) . director) testDatabase 

か、だろうポイントフリースタイル

Filmとの誤差についてはで、あなたが[]に最後のフィルムをラップする必要があり、

addFilm title director year db = db ++ [Film title director year []]