Здравствуйте! Я вот на stepic решаю задачи на хаскеле https://stepik.org/lesson/8443/step/8?unit=1578 мой

код

import Data.List (isInfixOf)

removing :: String -> [String] -> IO ()
removing sub [] = return ()
removing sub (x:contents) = do
if isInfixOf sub x && not (null x)
then do
let first_element = drop 2 x
putStrLn $ "Removing file: " ++ first_element
removeFile first_element
removing sub contents
else
removing sub contents

main' :: IO ()
main' = do
putStr "Substring: "; hFlush stdout
sub <- getLine
if sub == ""
then putStrLn "Canceled"
else do
contents <- getDirectoryContents "."
removing sub contents


может кто-то подсказать, почему возникает ошибка??

Failed. Test 1: removeFile: no such file

Потому что нету файла

дак это понятно)

А почему он должен был быть?

Хотелось бы узнать, какой смысл имеет first_element, и почему именно он удаляется. Разве это имя файла?

там по условию нужно удалить файлы, в имени которых есть подстрока. Мы сначала проверяем на наличие подстроки, а потом в first_element сохраняем это имя, но без первых двух символов "./" , т.к. все имена находятся в текущей директории и эти первые символы не нужны.

Стикер

Да, действительно! Спасибо огромное!!! Теперь всё проходит.

Есть и некоторые другие моменты. Например, зачем вместе с проверкой sub ˋisInfixOfˋ x проверять not (null x)? Можете убедиться, что она избыточна. И раз вы знаете функцию null, зачем писать sub == ""? Далее, можно было бы написать функцию removing с помощью mapM_, чтобы не расписывать рекурсию. Про эту полезную функцию не зря говорилось в видеоролике прямо перед этим заданием, и, возможно, стоит ради практики написать второе решение с ней. Кроме того, у вас написано: if cond then do act removing sub contents else removing sub contents Тут act (вывод сообщения и удаление файла) имеет тип IO (). Можно было бы избежать повторения, используя функцию when из Control.Monad: do when cond act removing sub contents Впрочем, в решении с mapM_ она не потребовалась бы.

Лучше бы не дропать, а сделать кейс на них. Удалять файлы это довольно рисковая процедура, по возможности надо всё эксплицитно делать, чтобы с первого взгляда было понятно откуда каждый байт приходит и куда идёт.

😮 надеюсь он понял