Cómo obtener una función para devolver diferentes tipos

Question

Entonces, tengo una función con múltiples definiciones (guardias), y dependiendo de cuál coincida, estoy tratando de que devuelva un (a, b) o [ (a, b)], sin embargo, el compilador está arrojando errores porque son de tipos diferentes. Estaba intentando usar O bien para resolver esto, pero probablemente no lo estoy usando bien: P. ¿alguna ayuda?

Answer 1

Either - o un tipo de datos a medida equivalente a ella - es el único forma de hacer esto. Aquí está un ejemplo tonto:

stuff :: Int -> Either (Int,Int) [(Int,Int)] 
stuff 0 = Left (0, 0) 
stuff n = Right [ (x,x) | x <- [0..n] ] 

Entonces cuando alguien llama a esta función, que puede coincidir con el patrón para averiguar cuál de los dos tipos ha devuelto:

foo n = case stuff n of 
      Left (a,b) -> ... 
      Right pairs -> ... 

Sin embargo, sin saber nada acerca de su problema, en En general, recomendaría pensar un poco más sobre el significado de su función. Qué se necesita, ¿qué devuelve? Se preciso, matemático. Mientras más simple sea la respuesta, más fácilmente funcionará esta función con el resto de su programa y los conceptos de Haskell. Para mí, en tales descripciones, Either rara vez aparece. ¿Cómo se pueden unificar los dos resultados? Tal vez solo devuelva la lista única [(a,b)] en lugar de Left (a,b), si eso tiene sentido para su función.

Haskell no funciona bien con las funciones que intentan ser demasiado inteligentes, del tipo que se puede utilizar desde Python o jQuery. Manténgalo tonto y preciso: obtenga su complejidad de componiendo estas piezas simples. Si tiene curiosidad acerca de esto, haga otra pregunta con más detalles sobre su problema, lo que está tratando de lograr y por qué desea que funcione de esa manera. Perdón por la predicación :-)

Answer 2

Las funciones en Haskell solo pueden devolver un tipo, por lo que Cualquiera funcionará para usted, ya que su función devolvería el tipo O bien (a, b) [(a.b)].

No estoy seguro de lo que salió mal con la forma en que está utilizando cualquier pero aquí es un simple ejemplo de su uso:

test a b = 
    if a == True 
    then Left (a,b) 
    else Right [(a,b)]