Tenho três funções que encontram o enésimo elemento de uma lista:
nthElement :: [a] -> Int -> Maybe a
nthElement [] a = Nothing
nthElement (x:xs) a | a <= 0 = Nothing
| a == 1 = Just x
| a > 1 = nthElement xs (a-1)
nthElementIf :: [a] -> Int -> Maybe a
nthElementIf [] a = Nothing
nthElementIf (x:xs) a = if a <= 1
then if a <= 0
then Nothing
else Just x -- a == 1
else nthElementIf xs (a-1)
nthElementCases :: [a] -> Int -> Maybe a
nthElementCases [] a = Nothing
nthElementCases (x:xs) a = case a <= 0 of
True -> Nothing
False -> case a == 1 of
True -> Just x
False -> nthElementCases xs (a-1)
Na minha opinião, a primeira função é a melhor implementação porque é a mais concisa. Mas há algo sobre as outras duas implementações que as tornaria preferíveis? E, por extensão, como você escolheria entre usar guardas, declarações if-then-else e casos?
case compare a 1 of ...
case
instruções aninhadas se você usoucase compare a 0 of LT -> ... | EQ -> ... | GT -> ...