Comment écrivez-vous la fonction 'paires' dans Haskell?

Question

La fonction paires a besoin de faire quelque chose comme ceci:

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

Answer 1

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

Answer 2

Juste pour être complet, une version plus "bas niveau" à l'aide récursion explicite:

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

La construction x:xs@(y:_) signifie " une liste avec une tête x, et une queue xs qui a au moins un élément y ". C'est parce que y double à la fois le second élément de la paire actuelle et le premier élément de la suivante. Sinon, nous aurions dû faire un cas particulier pour les listes de longueur 1.

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

Answer 3

Vous pouvez aller aussi loin que

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

mais

pairs xs = zip xs (tail xs) 

est probablement plus clair.

Answer 4

Appel au dieu aztèque de numéros consécutifs:

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

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