Una forma directa:
repartir :: [a] -> ([a],[a])
repartir xs = ([xs!!i | i <- [0,2..n]], [xs!!i | i <- [1,3..n]])
where n = length xs - 1
El operador !!
no es muy eficiente en listas, por lo que no hay que abusar de él. Una versión más eficaz:
repartir :: [a] -> ([a],[a])
repartir xs = ([x | (i,x) <- zs, odd i], [x | (i,x) <- zs, even i])
where zs = zip [1..] xs
PD: no ha hecho falta importar el módulo Data.List
ya que las funciones necesarias están incluidas en el Prelude
Existe una solución mejor usando tipos Either
. Lo malo es que necesita importar el módulo Data.Either
:
import Data.Either (partitionsEithers)
repartir :: [a] -> ([a],[a])
repartir = partitionEithers . zipWith id (cycle [Left,Right])