Haskell - Accettare tipi diversi e agire di conseguenza

Question

Diciamo che ho ottenuto il seguente esempio molto semplice:

f :: Either Int String -> IO() 

così come una funzione g :: Int -> IO() e una funzione g' :: String -> IO() e io in fondo voglio implementare f come un "selettore" che chiama g o g' a seconda del suo input, in modo che in futuro dovrò lavorare solo con f perché so che il mio programma incontrerà solo Int o String.

Questo modo di utilizzare Either ha senso? La convenzione sembra usarla principalmente per la gestione di errori ed eccezioni.

Se ha senso, quale sarebbe un buon modo o una buona pratica per implementare un tale esempio? Ho sentito/letto su case e bifunctori.

In caso contrario: qual è il modo haskell di gestire la possibilità di diversi tipi di input? O è qualcosa che dovrebbe essere evitato sin dall'inizio?

Answer 1

In modo che sicuramente può dare un senso e un modo per implementare cioè:

f :: Either Int String -> IO() 
f e = 
    case e of 
     Left l -> g l 
     Right r -> g' r 

o utilizzando either:

import Data.Either (either) 
f :: Either Int String -> IO() 
f = either g g' 

Nota che nella seconda versione che non si assegna un nome di variabile all'argomento Either Int String. Questo è chiamato eta conversion/eta reduction. Ma ovviamente potresti anche scrivere f e = either g g' e.

Answer 2

Come una programmatrice Haskell, mi sembra soddisfacente.

f :: Either Int String -> IO() 
f (Left n) = g n 
f (Right s) = g' s