gistfile1.hs

takeUntil               :: (a -> Bool) -> [a] -> [a]
takeUntil _ []          =  []
takeUntil p (x:xs)
            | (not.p) x       =  x : takeUntil p xs
            | otherwise =  [x]

paso :: (Integer, Integer, Integer, Integer) -> (Integer, Integer, Integer, Integer)
paso (numimpares,secuencia,x,reg) = (numimpares',secuencia',x',reg') where
    x' = quot x 2
    corregido = if odd x then reg + 3^numimpares else reg
    numimpares' = if odd corregido then numimpares + 1 else numimpares
    secuencia' = corregido
    reg' = (\n -> if even n then quot n 2 else quot (3*n + 1) 2) corregido

parcial :: Integer -> (Integer, [Bool])
parcial n = (n', secuencia) where
    t = takeUntil filtro $ iterate paso (0,0,n,0)
    filtro (_,_,x,_) = x == 0
    (_,_,_,n') = last t
    secuencia = tail $ map mapa t
    mapa (_,a,_,_) = odd a

test n = takeUntil (==2) $ iterate iterador n where
    iterador :: Integer -> Integer
    iterador = (fst.parcial)