вложенным, если в Haskell

Question

// редактировать 5 , когда я использую только эти 2 линии

index :: [String] -> [String] -> Bool 
    index a b = and [x `elem` a |x <- b] 

он работает отлично !!!!

например:

индекс [ "ASD", "asdd", "росы"] [ "asdd", "AsdaD"]

ложных

Но когда я использую весь код, указанный ниже

empty [] = True 
empty _ = False 

    index a b = do 
      if empty a 
       then do putStrLn "a is empty" 
         else return() 
      if empty b 
       then do putStrLn "b is empty" 
         else return() 
     where 
      index :: [String] -> [String] -> Bool 
      index a b = and [x `elem` a |x <- b] 

Theres нет выход !! и thats вопрос я получил !!

// редактировать 6

index a b = do index' 
     if empty a 
      then do putStrLn "a is empty" 
        else return() 
     if empty b 
      then do putStrLn "b is empty" 
        else return() 
    where 
     index' :: [String] -> [String] -> Bool 
     index' a b = and [x `elem` a |x <- b] 

благодаря

Answer 1

операций ввода-вывода в Haskell являются немного трудно, потому что они нуждаются в так называемых monads Вы бы нужна специальная do -notion здесь последовательности выходов.

Написать это так:

empty [] = True 
empty _ = False 

index a b = do 
     if empty a 
      then do putStrLn "a is empty" 
      else return() 
     if empty b 
      then do putStrLn "b is empty" 
      else return() 

Или Может быть, вы могли бы просто вернуть строки и использовать putStrLn отдельно. Вы, index', должны возвращать логическое значение, когда оно должно использоваться как условие if!

Answer 2

index a b = if index' [] bs 
         then putStrLn "a is empty" 
         if index' a []   
         then putStrLn "b is empty" 
         else     
    where 
     index' :: [String] -> [String] -> [Int] 
     index' a b = index' True [(elem x b) | x <- a] 

Если вы сделаете это заявление таким же, вы увидите, что первый, если не имеет соответствующего предложения else.

Кроме того, предложение else ничего не возвращает - функция должна иметь возвращаемое значение при любых обстоятельствах.

Answer 3

A if Конструкция в Haskell - это выражение. Это означает, что он всегда должен оценивать значение, поэтому часть else является обязательной.

Кроме того, первая часть if должна быть логической, так что вы не можете назвать index' там, так что возвращает [Int], не Bool.

Я бы сказал, начать с чем-то вроде этого:

if isEmpty a 
then putStrLn "a is empty" 
else if isEmpty b 
    then putStrLn "b is empty" 
    else putStrLn "neither are empty" 

Answer 4

Это немного не по теме, так как, возможно, вы пытаетесь изучить правила размещения и как гнездо сослагательного наклонения, но код, который вы показать в в редакции 6 используется только if для проверки ошибок. Я бы просто выполнил проверку ошибок с помощью сопоставления с образцом вместо if.

index [] _ = putStrLn "a is empty" 
index _ [] = putStrLn "b is empty" 
index a b = putStrLn (show index') 
    where index' = and [x `elem` a | x <- b] 

(Вам не нужно return() после putStrLn, потому что он уже возвращается () для вас.)

соответствие шаблона намного проще, чтобы получить права, так как он не требует много отступов и т.д.

---

Edit:

Я изменил определение index' немного от ваших , В моей версии это локальная переменная вместо локальной функции. В Haskell нет большой разницы, просто index' использует a и b из окружающей среды index, поэтому ему не нужно брать параметры. (По общему признанию, index' не является таким хорошим именем для переменной.)

Также я остановился на аннотации типа, потому что я обычно не пишу их. Но они полезны, когда что-то не работает. Вот то, что это будет выглядеть следующим образом:

where index' :: Bool 
      index' = and [x `elem` a | x <- b]