Пока петля в Haskell с условием

Question

У меня есть небольшая ситуация с Хаскеллом здесь. Я пытаюсь написать две функции с монадами. Предполагается, что первый из них выполняет итерацию по функции, если условие истинно для ввода/вывода функции. Второй должен использовать первый, чтобы взять номер в качестве ввода и записать его в качестве вывода, пока вы не введете пробел.

Я застрял в этом, любая помощь?

module Test where 

while :: (a -> Bool) -> (a -> IO a) -> a -> IO a 
while praed funktion x = do 
         f <- praed (funktion x) 
         if f == True then do 
              y <- funktion x 
              while praed funktion y 
         else return x 



power2 :: IO() 
power2 = do putStr (Please enter a number.") 
      i <- getChar 
      while praed funktion 
      where praed x = if x /= ' ' then False else True 
        funktion = i 

Answer 1

import Control.Monad 

while :: (a -> Bool) -> (a -> IO a) -> a -> IO a 
while praed funktion x 
    | praed x = do 
     y <- funktion x 
     while praed funktion y 
    | otherwise = return x 


power2 :: IO() 
power2 = do 
    putStr "Please enter a number." 
    i <- getChar 
    let praed x = x /= ' ' 
    let f x = do 
     putChar x 
     getChar 
    while praed f '?' 
    return() 

Некоторые примечания:

• Использование if x then True else False является излишним, это эквивалентно просто x.
• Аналогичным образом if x == True ... является избыточным и эквивалентным if x ....

• Вам необходимо провести различие между действиями IO и их результатами. Например, если сделать йо

  do 
      i <- getChar 
      ... 
  

  затем в ... i представляет собой результат действия, характер, так i :: Char. Но getChar :: IO Char - это само действие. Вы можете просмотреть его в качестве рецепта, который возвращает Char при выполнении. Вы можете передать рецепт вокруг функций и т. Д., И он выполняется только тогда, когда выполняется.

• Ваш while дважды называется funktion, что, вероятно, не то, что вы намереваетесь - он дважды читал бы символ, проверял бы первый и возвращал второй. Помните, что ваш funktion является действием, поэтому каждый раз, когда вы «вызываете» действие (например, используя <- funktion ... в нотации do), действие запускается снова. Так оно и должно скорее быть что-то вроде

  do 
      y <- funktion x 
      f <- praed y 
      -- ... 
  

  (Мой код несколько иной, он проверяет аргумент, передаваемый на него.)

Answer 2

Для чистой версии:

{-# LANGUAGE BangPatterns #-} 

while :: (a -> Bool) -> (a -> a) -> a -> a 
while p f = go where go !x = if p x then go (f x) else x 

test1 :: Int 
test1 = while (< 1000) (* 2) 2 
-- test1 => 1024 

по Монако:

import Control.Monad 

whileM :: (Monad m, MonadPlus f) => (a -> m Bool) -> m a -> m (f a) 
whileM p f = go where 
    go = do 
    x <- f 
    r <- p x 
    if r then (return x `mplus`) `liftM` go else return mzero 

test2 :: IO [String] 
test2 = whileM (return . (/= "quit")) getLine 
-- *Main> test2 
-- quit 
-- [] 
-- *Main> test2 
-- 1 
-- 2 
-- 3 
-- quit 
-- ["1","2","3"] 

power2 :: IO (Maybe Char) 
power2 = whileM (return . (/= 'q')) getChar 
-- *Main> power2 
-- q 
-- Nothing 
-- *Main> power2 
-- 1 
-- 2 
-- 3 
-- q 
-- Just '\n' 

см. Al. так:

http://hackage.haskell.org/package/monad-loops, http://hackage.haskell.org/package/loop-while, http://hackage.haskell.org/package/control-monad-loop.

http://www.haskellforall.com/2012/01/haskell-for-c-programmers-for-loops.html