Ist es möglich, diese rekursive Haskell-Funktion in einen Map-Aufruf zu verwandeln?

Question

Dies ist mein Code:

type HoraAtendimento = (String, Int, Int)

htmlHAtendimento :: [HoraAtendimento] -> Html
htmlHAtendimento [] = toHtml ""
htmlHAtendimento ((da,hia,hfa):[]) = toHtml da +++ "feira "
                                     +++
                                     show hia +++ "h - " +++ show hfa +++ "h"
htmlHAtendimento ((da,hia,hfa):r) = toHtml da +++ "feira "
                                    +++
                                    show hia +++ "h - " +++ show hfa +++ "h, "
                                    +++
                                    htmlHAtendimento r

Ich suche nach einer Möglichkeit, die Map-Funktion zu verwenden und diese rekursive Funktion loszuwerden. Ist das möglich und wenn ja, wie mache ich das?

Answer 1

Sehen Sie sich die Art der map . Es ist (a -> b) -> [a] -> [b] . Das sieht nicht wie Ihr Typ aus, der [a] -> b lautet. Das ist keine Karte, sondern eine Falte.

Die Funktion höherer Ordnung, die Sie sich ansehen möchten, ist foldr . Siehe Hoogle .

Etwas wie...

htmlHAtendimento :: [HoraAtendimento] -> Html
htmlHAtendimento [] = toHtml ""
htmlHAtendimento l = foldr1 (+++) $ intersperse ", " $ map f l
  where f (da, hia, hfa) = toHtml da
                           +++ "feira "
                           +++ show hia
                           +++ "h - "
                           +++ show hfa
                           +++ "h"

Ich weiß nicht, ob das richtig ist, aber es geht in die richtige Richtung.

Answer 2

Sie wollen eine nicht leere Liste umklappen. Mit diesem Code könnte das gelingen:

type HoraAtendimento = (String, Int, Int)

htmlHAtendimento :: [HoraAtendimento] -> Html
htmlHAtendimento [] = toHtml ""
htmlHAtendimento l = foldl1 (+++) $ map convert l
  where convert (da,hia,hfa) = toHtml da +++ "feira " +++
                               show hia +++ "h - " +++ show hfa +++ "h"