Haskell Hero

Ejemplo

Definid la función find que toma una lista de tipo Eq a => [a] y un valor de tipo Eq a => a. La expresión find s x debe evaluarse a un número que indica el índice del primero x en la lista s.

find [1,2,3,4,5] 3  ~>*  3
find "qwertz"   't' ~>*  5

Puede parecer que no es nada difícil. Sin embargo, un problema surge cuando el elemento x no aparece en la lista s. Quieremos que la expresión find s x evalúe al índice del primero x en la lista s o a un valor "no encontrado" si x no aparece en la lista s. En estos casos utilizamos el tipo Maybe a.

EL tipo Maybe a está definido de manera siguiente:

data Maybe a  =  Nothing  |  Just a

Just 5
Just 4
Just (-6)
Nothing
Just 3
Just 0

Podemos entonces definir la función find de manera siguiente:

find     ::  Eq a  =>  [a] -> a -> Maybe Int
find s x  =  find1 s x 1

find1           ::  Eq a  =>  [a] -> a -> Int -> Maybe Int
find1 []    _ _  =  Nothing
find1 (y:s) x n  =  if y == x then n
                              else find1 s x (n+1)