Comment prendre les listes de tous les types comme paramètres de fonction Haskell

Question

Bonjour Je souhaite prendre des listes de tout type, par ex. [Int], [Char], etc. en tant que paramètres d'une fonction.

Fondamentalement, tout ce que je veux faire est quelque chose le long des lignes de:

xyz :: [a] -> [a] -> (Int, Int) 

Y avait-[a] pourrait être une liste de tout type.

Answer 1

Eh bien, vous l'avez déjà eu. Il suffit d'écrire la signature comme ça et de définir votre fonction. Sauf dans une application réelle, vous (probablement, voir @ commentaire de amalloy) doivent exiger a d'appartenir à une classe de type, afin de faire quelque chose de significatif avec elle:

xyz :: Integral a => [a] -> [a] -> (Int, Int) 
xyz ls1 ls2 = (x, y) where 
    x = fromInteger $ toInteger $ sum ls1 
    y = fromInteger $ toInteger $ sum ls2