multiplicar - multiplos en haskell

¿Es posible convertir esta función haskell recursiva en una llamada de mapa?

Question

Este es mi código:

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

Estoy buscando una forma de utilizar la función de mapa y deshacerme de esta función recursiva. Es eso posible y si es así, ¿cómo lo hago?

Answer 1

Desea retirarse de una lista no vacía. Este código podría hacer el truco:

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"

Answer 2

Mira el tipo de map . Es (a -> b) -> [a] -> [b] . Eso no se parece a tu tipo, que es [a] -> b. Eso no es un mapa, eso es un pliegue.

La función de orden superior que desea ver es foldr . Ver Hoogle .

Algo como...

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"

No sé si eso es correcto, pero está en la dirección correcta.