En Haskell, ¿por qué tengo que usar el signo de dólar en este código?

Question

Todavía estoy tratando de descifrar este código:

import Data.Char 
groupsOf _ [] = [] 
groupsOf n xs = 
    take n xs : groupsOf n (tail xs) 

problem_8 x = maximum . map product . groupsOf 5 $ x 
main = do t <- readFile "p8.log" 
     let digits = map digitToInt $concat $ lines t 
     print $ problem_8 digits 

En problem_8 x = maximum . map product . groupsOf 5 $ x por qué no puede ser sólo groupsOf 5 x? ¿es porque x luego se expandirá a algunas otras expresiones (aquí será: digits = map digitToInt $concat $ lines t)? ¿Es este el llamado flojo (x no se expandirá ahora, pero tal vez más tarde)?

Answer 1

Sin la $, la precedencia se resuelve así:

maximum . map product . (groupsOf 5 x) 

Desde . (composición de función) tiene dos funciones como argumentos, y groupsOf 5 x no puede devolver una función, esto es un error.

Con la $, la precedencia se resuelve de esta manera:

(maximum . map product . groupsOf 5) x 

Esto es equivalente (a través de la composición de funciones) a:

maximum (map product (groupsOf 5 x)) 

o:

maximum $ map product $ groupsOf 5 x 

(sin embargo ensartar a lo largo de $ como este se considera un estilo pobre)

Esto no tiene nada que ver con la pereza, tenga en cuenta.

Answer 2

Como dijo un bdonlan, $ es un function application y . es functional composition.

Usa hoogle para averiguar qué están haciendo algunas palabras clave. También podría ser útil mostrar la firma de la función y el nombre del módulo de dónde proviene.

Answer 3

Usted no tiene que uso $, de hecho, nunca se tiene que usarlo.

En su caso, el sentido^H^H^H^notación Hsfree sugiere en sí: en lugar de

problem_8 x = maximum . map product . groupsOf 5 $ x 

lo que equivale a:

problem_8 x = (maximum . map product . groupsOf 5) x 

podemos dejar de lado el x en ambos lados de la ecuación:

problem_8 = maximum . map product . groupsOf 5