Minimo di due Maybes

Question

Voglio ottenere il minimo di due valori, o se uno è niente, ottenere il non nulla, o non restituire nulla se entrambi gli input non sono nulla. Posso scrivere una semplice funzione per farlo, ma sospetto che ci sia un modo per farlo senza scrivere una funzione personalizzata. Scusa, se questa è una domanda insignificante, ma esiste un modo più semplice rispetto all'utilizzo di questa funzione personalizzata?

minMaybe :: Ord a => Maybe a -> Maybe a -> Maybe a 
minMaybe Nothing b = b 
minMaybe a Nothing = a 
minMaybe (Just a) (Just b) = Just $ min a b 

Answer 1

Non è possibile utilizzare la Applicative, o Monad esempio per questo, dal momento che ogni Nothing in quei contesti avrà il risultato totale è un Nothing. Detto questo, il termine "più semplice" è altamente raccomandato e la tua funzione va bene così com'è.

Answer 2

È possibile scrivere utilizzando l'istanza di AlternativeMaybe:

minMaybe a b = liftA2 min a b <|> a <|> b 

In alternativa, è possibile utilizzare maxBound come predefinito, in modo che sarà sempre scegliere l'altro:

minMaybe a b = liftA2 min (d a) (d b) 
    where d x = x <|> Just maxBound 

Ma don lo raccomando.

Answer 3

È possibile soddisfare le specifiche utilizzando gli operatori da Control.Applicative.

myMin :: Ord x => Maybe x -> Maybe x -> Maybe x 
myMin a b = min <$> a <*> b <|> a <|> b 

dove il <|> per Maybe attrezzi "preferenza"

Nothing <|> b = b 
a  <|> _ = a 

La cosa è

min <$> Just a <*> Just b = Just (min a b) 

ma

min <$> Just a <*> Nothing = Nothing 

che ha portato in qualche incorre ct risponde a questa domanda. L'utilizzo di <|> consente di preferire il valore calcolato min quando è disponibile, ma ripristinarlo individualmente quando uno solo è Just.

Ma si dovrebbe chiedere se è opportuno utilizzare Maybe in questo modo. Con l'ingloriosa eccezione della sua istanza Monoid, Maybe è impostato per modellare calcoli soggetti a errori. Quello che hai qui è l'estensione di uno Ord esistente con un elemento "top".

data Topped x = Val x | Top deriving (Show, Eq, Ord) 

e troverete che min per Topped x è proprio quello che serve. È bello pensare ai tipi non solo alla rappresentazione dei dati ma all'equipaggiamento dei dati con struttura. Nothing rappresenta solitamente un tipo di errore, quindi potrebbe essere preferibile utilizzare un tipo diverso per lo scopo.