Buenas, con un companero estabamos haciendo el parcial del año pasado y nos surgio una duda en el siguiente caso:
Teniendo la siguiente linea:
(head (((:) . head) [1] foldr ((:) . head) [] (map(1:) map(1:) as)))
Entendemos que la composicion de funciones ((:) . head) tomara como entrada el valor [1] y luego lo concatenara con el segundo argumento.
Lo que no nos queda claro es por que esa composicion de funciones no "intenta" agarrar los dos parametros a la vez (lo cual terminaria en un error)
Es el ejercicio 10)d) del parcial de 2019.
Me di cuenta que en el codigo que puse arriba faltaba un parentesis, pero seguimos sin entender bien. Estos son los pasos para llegar hasta ahi:
(head (foldr ((:) . head) [] (tail as)))
(head (foldr ((:) . head) [] (tail [] : map(1:) as)))
(head (foldr ((:) . head) [] (map (1:) as)))
(head (foldr ((:) . head) [] (map (1:) [] : map(1:) as)))
(head (foldr ((:) . head) [] ([1] : map(1:) map(1:) as)))
Luego, por definicion de foldr:
(head (((:) . head) [1] foldr ((:) . head) [] (map(1:) map(1:) as)))
(head (foldr ((:) . head) [] (tail as)))
(head (foldr ((:) . head) [] (tail ([] : map (1:) as))))
(head (foldr ((:) . head) [] (map (1:) as)))
(head (foldr ((:) . head) [] (map (1:) ([] : map (1:) as))))
(head (foldr ((:) . head) [] ([1] : map (1:) (map (1:) as))))
(head (((:) . head) [1] (foldr ((:) . head) [] (map (1:) (map (1:) as)))))
( (head (((:) . head) [1] ) (foldr ((:) . head) [] (map (1:) (map (1:) as)))))