Haskell. Рекурсивная Лямбда. Ошибки

Question

y :: (f->f) -> f 
y f = f (y f) 

indexOf :: Char -> String -> Maybe Int 
indexOf c l = 
    y(\ ff c (h:t) pos -> 
     if (c == h) then Just pos 
      else ff c t (pos + 1) 
     )(c, l, 0) 

indexOf c [] = Nothing 

Это дает мне две ошибки компиляции: Код должен найти позицию char c в строке. Например: IndexOf ('а', 'лампа') = 2

Couldn't match expected type `[(Char, String, Integer)] 
            -> Integer -> Maybe Integer' 
       with actual type `Maybe Int' 
    The lambda expression `\ ff c (h : t) pos -> ...' 
    has four arguments, 
    but its type `((Char, String, Integer) -> Maybe Int) 
        -> (Char, String, Integer) -> Maybe Int' 
    has only two 
    In the first argument of `y', namely 
     `(\ ff c (h : t) pos 
      -> if (c == h) then Just pos else ff c t (pos + 1))' 
    In the expression: 
     y (\ ff c (h : t) pos 
      -> if (c == h) then Just pos else ff c t (pos + 1)) 
     (c, l, 0) 


    Couldn't match expected type `[(Char, String, Integer)] 
            -> Integer -> Maybe Integer' 
       with actual type `Maybe Int' 
    The function `ff' is applied to three arguments, 
    but its type `(Char, String, Integer) -> Maybe Int' has only one 
    In the expression: ff c t (pos + 1) 
    In the expression: if (c == h) then Just pos else ff c t (pos + 1) 

Я не знаю, как восстановить его. Пожалуйста, дайте мне руку :)

Answer 1

проблема здесь заключается в том, что вы смешиваете кортежи и кэрри аргументы (вы должны попытаться остаться с основной формой двух кэрри аргументов, если вы не хотите, чтобы изменить y) - но ваше мышление неплохое!

действительно это лишь несколько небольших изменений, чтобы заставить его работать:

indexOf :: Char -> String -> Maybe Int 
indexOf c ls = 
    y(\ ff (ls, pos) -> 
     case ls of 
     (h:t) 
      | h == c -> Just pos 
      | otherwise -> ff (t, pos+1) 
     [] -> Nothing 
    )(ls, 0) 

, как вы можете видеть, что я сделал:

• переместил прецедентное раскол внутри
• переписал аргументы в кортеж rest -list и позиция
• повторно используется c с закрытием, которое вы получаете бесплатно;)

здесь в действии:

λ> indexOf 'l' "Hello" 
Just 2 
λ> indexOf 'a' "Hello" 
Nothing 

---

конечно, пока это хорошее упражнение, которое вы не должны действительно писать Haskell этого путь - очевидная прямая рекурсия намного более читаемая:

indexOf :: Char -> String -> Maybe Int 
indexOf c = indexOf' 0 
    where 
    indexOf' _ [] = Nothing 
    indexOf' pos (h:t) 
     | c == h = Just pos 
     | otherwise = indexOf' (pos+1) t