#Decimal a binario El problema de tu implementación es que estás concatenando cada dígito al final de la lista en cada iteración. El operador `++` tiene un coste lineal respecto al número de elementos de la primera lista. Por lo tanto, si el número binario tiene `n` dígitos, hace `(n-1) + (n-2) + (n-3) + ... + (n-n) = 1 + 2 + 3 + ... + (n-1)` iteraciones para construir la lista final, cuya [progresión][1] es igual a `(n-1)*n/2`, resultando un orden de complejidad **cuadrático** respecto al número de dígitos del número binario. Lo más común es construir la lista al revés (encabezando los elementos con `:`), y darle la vuelta al final con `reverse` en una única pasada. El operador `:` es el constructor de listas, que toma un elemento `x` y una lista `xs` y devuelve (en tiempo constante) la lista `x:xs` con cabeza `x` y cola `xs`. La función `reverse` invierte una lista en tiempo lineal, por lo tanto la función resultante tiene un orden de complejidad **lineal** respecto al número de dígitos del número binario: toBin, auxBin :: Int -> [Int] toBin 0 = [0] toBin n = reverse (auxBin n) auxBin 0 = [] auxBin n = n `mod` 2 : auxBin (n `div` 2) #Número de unos Para contar el número de `1` de la lista resultante, puedes filtrar los elementos iguales a `1` con la función `filter`, y luego calcular la longitud con la función `length`: ghci> filter (==1) [1,0,0,1,1] [1,1,1] ghci> length (filter (==1) [1,0,0,1,1]) 3 Combinándolo con `toBin` en una función: countOnes :: Int -> Int countOnes = length . (filter (==1)) . toBin Otra opción más simple, utilizando simplemente ajuste de patrones: numeroUnos :: [Int] -> Int numeroUnos [] = 0 numeroUnos (1:xs) = 1 + numeroUnos xs numeroUnos (_:xs) = numeroUnos xs [1]: https://es.wikipedia.org/wiki/Progresi%C3%B3n_aritm%C3%A9tica