Haskell: Нет экземпляра (Num ()) - определение моего собственного монадического цикла - PullRequest
Новая
       19

Haskell: Нет экземпляра (Num ()) - определение моего собственного монадического цикла

0 голосов
/ 26 октября 2018

Я пытаюсь выполнить это упражнение в вики Haskell: https://en.wikibooks.org/wiki/Haskell/Higher-order_functions

Следующее упражнение объединяет в себе то, что вы узнали о функциях высшего порядка, рекурсии и вводе / выводе.Мы собираемся воссоздать то, что известно в императивных языках как цикл для .Реализовать функцию 

for :: a -> (a -> Bool) -> (a -> a) -> (a -> IO ()) -> IO () 
for i p f job = -- ???

пока у меня есть: 

-- for : init value, end condition function, increment function, IO function, 
--       returns IO action

generate :: a -> (a->Bool) -> (a->a) -> [a]
generate s cnd incr = if (cnd s) then [] else [s] ++ generate (incr s) cnd incr

printToList  = do
               u <- print 1
               v <- print 2
               return [u,v]

ioToASingle :: [IO a] -> IO [a]
ioToASingle (x:xs) = do
                 x' <- x
                 return [x']

sequenceIO :: [IO a] -> IO [a]
sequenceIO [] = return []
sequenceIO (x:xs) = do
                     x' <- x
                     xs' <- sequenceIO xs
                     return ([x'] ++ xs')

for::a->(a->Bool)->(a->a)->(a->IO())->IO()
for s cnd incr ioFn = sequence_ (map (ioFn) (generate s cnd incr))

for'::a->(a->Bool)->(a->a)->(a->IO a)->IO [a]
for' s cnd incr ioFn = sequenceIO (map (ioFn) (generate s cnd incr))

for работает нормально: 

for 1 (\i->i==10) (\i->i+1) (print)
1
2
3
4
5
6
7
8
9

for' получает ошибку: 

*Main> for' 1 (\i->i==10) (\i->i+1) (print)

<interactive>:323:6: error:
    • No instance for (Num ()) arising from the literal ‘1’
    • In the first argument of ‘for'’, namely ‘1’
      In the expression: for' 1 (\ i -> i == 10) (\ i -> i + 1) (print)
      In an equation for ‘it’:
          it = for' 1 (\ i -> i == 10) (\ i -> i + 1) (print)
*Main>

Я не могу понять, что случилось.

Ответы [ 2 ]

0 голосов
/ 26 октября 2018

Вот что вы написали: 

    for' :: a -> (a -> Bool) -> (a -> a ) -> (a -> IO a ) -> IO [a]
    for'    s    cnd            incr         ioFn         =  sequenceIO (map (ioFn) ...

*Main> for' 1    (\i->i==10)    (\i->i+1)    (print     )      
            a                                (a -> IO ())
                                             ------------
            ()                                      a ~ ()

Таким образом 1 :: (Num a) => a ~ (Num ()) => ().Но для типа ().

нет экземпляра Num. Это окольный способ сказать вам, что вам нужна функция типа a -> IO a, а не a -> IO ().

Хиндли-Милнер допускает объединение с «более узким» типом, но здесь было бы лучше, если бы его не было - сообщение об ошибке было бы намного понятнее.

В любом случае этолегко вызвать в воображении ваше собственное значение - возврат печать , например 

myprint :: a -> IO a
myprint x = do { print x      -- or,  print x >> return x
               ; return x 
               }
0 голосов
/ 26 октября 2018

sequenceI возвращает тип IO [a], но ioFn (как в определении for ') это «print», который возвращает IO ().Вам нужно, чтобы ioFn возвращал IO a, так что возвращение sequenceIO будет IO [a].

Например, попробуйте «вернуть» вместо «печать», а затем распечатать значение.return - это функция в haskell, которая просто преобразует аргумент, переданный в монаду, в данном случае IO-монаду.

main = do p <- for' 1 (\i->i==10) (\i->i+1) (return) 
         print(p)

Это напечатает просто список от 1 до 9 чисел.

Или 

p :: Int -> IO [Int]
p x =  for' 1 (\i->i==x) (\i->i+1) (return)

main = do y <- p 10
         print (y)
...