¿Cómo se escribe la función 'pares' en Haskell?

Question

La función de pares tiene que hacer algo como esto:

pairs [1, 2, 3, 4] -> [(1, 2), (2, 3), (3, 4)] 

Answer 1

pairs [] = [] 
pairs xs = zip xs (tail xs) 

Answer 2

simplemente para la corrección, una versión de "bajo nivel" más el uso de la recursividad explícita:

pairs (x:xs@(y:_)) = (x, y) : pairs xs 
pairs _   = [] 

La construcción x:xs@(y:_) medios " una lista con una cabecera x, y una cola xs que tiene al menos un elemento y ". Esto se debe a que y funciona como el segundo elemento del par actual y el primer elemento del siguiente. De lo contrario tendríamos que hacer un caso especial para las listas de longitud 1.

pairs [_] = [] 
pairs [] = [] 
pairs (x:xs) = (x, head xs) : pairs xs 

Answer 3

Se podía ir tan lejos como

import Control.Applicative (<*>) 
pairs = zip <*> tail 

pero

pairs xs = zip xs (tail xs) 

es probablemente más claro.

Answer 4

de llamadas al dios azteca de números consecutivos:

import Control.Monad (ap) 
import Control.Monad.Instances() -- for Monad ((->) a) 

foo = zip`ap`tail $ [1,2,3,4]