Блог

Я пытаюсь найти индекс строки в контексте списка, содержащего определенную подстроку, но безрезультатно. Я не уверен, как можно передать весь нетронутый массив в качестве аргумента другой функции в рекурсивной функции. Вот мой подход:

 find' :: [String] -> Maybe Int
find' [] = error "List is empty"
find' [x] = return maybe 0
find' (x:xs)
    | "HU" `isInfixOf` x = return elemIndex x (x:xs)
    | otherwise = checkTail
    where checkTail = find' xs
  

Ошибка заключается в следующем:

  * Couldn't match type `[[String]] -> Maybe Int' with `Maybe Int'
  Expected type: String -> [String] -> Maybe Int
    Actual type: String -> [String] -> [[String]] -> Maybe Int
* The function `return' is applied to three arguments,
  but its type `([String] -> [[String]] -> Maybe Int)
                -> String -> [String] -> [[String]] -> Maybe Int'
  has only four
  In the expression: return elemIndex x (x : xs)
  In an equation for find':
      find' (x : xs)
        | "HU" `isInfixOf` x = return elemIndex x (x : xs)
        | otherwise = checkTail
        where
            checkTail = find' xs

   | "HU" `isInfixOf` x = return elemIndex x (x:xs)
                      ^^^^^^^^^^^^^^^^^^^^^^^^^
  

Я действительно не понимаю ошибку и почему она не совпадает, потому что в обоих случаях я возвращаю значение maybe int . Однако, как я уже упоминал, я не уверен, что (x: xs) на самом деле означает весь список для аргумента.
Просто чтобы уточнить, я пытаюсь найти индекс строки из списка строк.

Во-первых, maybe это функция сама по себе; то, что она делает, не имеет отношения к вопросу. Достаточно сказать, return 0 делает то, что вы хотите: он возвращает Just 0 из функции:

 find' :: [String] -> Maybe Int
find' [] = Nothing
find' [x] = return 0 -- equivalent to find' [x] = Just 0
  

(Обратите внимание на использование Nothing ; если вы собираетесь выдать ошибку, нет причин использовать Maybe Int вместо Int в качестве возвращаемого типа. Кроме того, нет причин использовать return over Just , поскольку вы не пытаетесь поддерживать здесь произвольную монаду.)

Кроме того, elemIndex уже возвращает значение типа Maybe Int ; вам не нужно использовать return функцию, которая переносит значение в другой слой, создавая Maybe (Maybe Int) значение, которое не является тем, что вы хотите.

 find' (x:xs)
    | "HU" `isInfixOf` x = elemIndex x (x:xs)
    | otherwise = find' xs
  

Последняя проблема: если "HU" отсутствует в первом элементе списка, вы правы, просто вызывая find' конец списка. Однако вам нужно добавить 1 к этому возвращаемому значению, чтобы компенсировать передачу более короткого аргумента. (Это также означает, что вам не нужно elemIndex , поскольку вы всегда находите "HU" в начале текущего списка.)

 find' (x:xs)
    | "HU" `inInfixOf` x = Just 0
    | otherwise = fmap (1 ) (find' xs)
  

Вам нужно использовать fmap ; find' возвращает a Maybe Int , а не an Int , поэтому 1 find' xs само по себе это не сработает.

Это также означает, что вы можете отказаться от специального случая для [x] , поскольку это следует из поиска строки поиска в начале списка. Вся функция просто

 find' :: [String] -> Maybe Int
find' [] = Nothing
find' (x:xs)
    | "HU" `isInfixOf` x = Just 0
    | otherwise = fmap (1 ) (find' xs)
  

Один из способов, который работает со всем списком, — выполнить поиск по всему списку сразу, а затем найти (первое) вхождение True в результирующем списке логических значений.

 find'' :: [String] -> Maybe Int
find'' xs = elemIndex True (map ("HU" `inInfixOf`) xs)
-- or find'' = elemIndex True . map ("HU" `inInfixOf`)
-- or find'' = findIndex ("HU" `inInfixOf`)