polimorfismo_haskell.hs

metade :: Fractional a => a -> a
metade a = a/2;

dobro :: Num a => a -> a
dobro a = a * 2

soma_lista :: Num a => [a] -> a
soma_lista [] = 0
soma_lista (p:r) = p + soma_lista(r)

comprimento :: [a] -> Int
comprimento [] = 0
comprimento (p:r) = 1 + comprimento(r)

dobro_lista :: Num a => [a] -> [a]
dobro_lista  [] = []
dobro_lista (p:r) = [p*2] ++ dobro_lista(r)