Идиоматические список строительства

Question

Я новичок в Haskell и функционального программирования в целом, так что я не знаю, как сделать этот код идиоматическое:

type Coord = Double 
data Point = Point Coord Coord Coord deriving Show 

type Polyline = [Point] 

-- Add a point to a polyline 
addPoint :: Polyline -> Point -> Polyline 
addPoint line p = p:line 

line :: Polyline 
line = [] 

constructLine :: Polyline -> Polyline 
constructLine line = 
    let 
     p1 = Point 2 4 87 
     p2 = Point 3 7 2 
     p3 = Point 23 4 8 
    in addPoint (addPoint (addPoint line p1) p2) p3 

main :: IO() 
main = do 
    putStrLn (show (constructLine line)) 

Моя проблема заключается в функции constructLine. Если я хочу добавить много точек, то вложенные функции addPoint будут проблемой. Как я могу это учитывать? И видите ли вы другие вещи, которые можно было бы улучшить?

Answer 1

Многократный вызов addPoints может быть заменен на складку. Как было отмечено в комментарии, обращая ваши функции addPoint бы сделать вещи проще:

addPoint' :: Point -> Polyline -> Polyline 
addPoint' p line = p:line 

Итак ваша функция constructLine может построить временный список точек, чтобы добавить добавить Используйте складку:

constructLine :: Polyline -> Polyline 
constructLine line = 
    let 
     p1 = Point 2 4 87 
     p2 = Point 3 7 2 
     p3 = Point 23 4 8 
    in foldr addPoint' line [p3,p2,p1] 

Это не прерывает инкапсуляцию (вы можете заменить вашу реализацию Полилины чем-то другим, чем список Точки) и использует новые точки в том порядке, в котором они будут заканчиваться (p3 перед p2 и т. д.)

Answer 2

Ваш constructLine экзамен е просто поражает меня как многословно версии этого:

constructLine :: Polyline -> Polyline 
constructLine line = [Point 23 4 8, Point 3 7 2, Point 2 4 87] ++ line 

Я не знаю, если вы столкнетесь с этим еще, но только, чтобы быть уверенным:

• [Point 23 4 8, Point 3 7 2, Point 2 4 87] просто list literal.
• ++ - это функция добавления списков.

Как правило, чтобы добавить несколько элементов в список, то, что вы делаете, есть список элементов, которые вы хотите добавить, и добавьте этот список вместе с исходным списком.

Этот шаблон продолжается. Если мы замечаем, что line константа определяется [], то вся ваша программа на самом деле это просто многословно версия этого:

type Coord = Double 
data Point = Point Coord Coord Coord deriving Show 

main :: IO() 
main = putStrLn (show points) 
    where points = [Point 23 4 8, Point 3 7 2, Point 2 4 87] 

В принципе, если значения точек известны во время компиляции, вы можете просто напишите список, вам не нужно проходить через все это косвенное направление.