fmap в блок do завершается с ошибкой печати - PullRequest
Новая
       70

fmap в блок do завершается с ошибкой печати

1 голос
/ 25 апреля 2019

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

У меня есть следующее: 

-- This works
test1 x = do 
        let m = T.pack $ show x
        T.putStrLn m

test1 1

Производит 

1

Но 

-- This fails
fmap (\x -> do 
              let m = T.pack $ show x
              T.putStrLn m
              ) [1..10]

-- And this also fails
fmap (\x -> do 
             T.putStrLn $ T.pack $ show x
                ) [1..10]

С ошибкой: 

<interactive>:1:1: error:
    • No instance for (Show (IO ())) arising from a use of ‘print’
    • In a stmt of an interactive GHCi command: print it

Мой метод putStrLn согласован между рабочим и нерабочим. Импорт одинаков. Мой танец show-pack-puttrln, необходимый для печати, также согласуется между рабочим и нерабочим.

Что происходит, когда использование печати меняется между рабочим и нерабочим?

Обновление 1 

-- I was also surprised that this fails
fmap (T.putStrLn $ T.pack $ show) [1..10]
-- it seemed as similar as possible to the test1 function but mapped.

<interactive>:1:7: error:
    • Couldn't match expected type ‘Integer -> b’ with actual type ‘IO ()’
    • In the first argument of ‘fmap’, namely ‘(T.putStrLn $ pack $ show)’
      In the expression: fmap (T.putStrLn $ pack $ show) [1 .. 10]
      In an equation for ‘it’: it = fmap (T.putStrLn $ pack $ show) [1 .. 10]
    • Relevant bindings include it :: [b] (bound at <interactive>:1:1)
<interactive>:1:29: error:
    • Couldn't match type ‘() -> String’ with ‘String’
      Expected type: String
        Actual type: () -> String
    • Probable cause: ‘show’ is applied to too few arguments
      In the second argument of ‘($)’, namely ‘show’
      In the second argument of ‘($)’, namely ‘pack $ show’
      In the first argument of ‘fmap’, namely ‘(T.putStrLn $ pack $ show)’

Обновление 2 

-- This lambda returns x of the same type as \x
-- even while incidentally printing along the way
fmap (\x -> do 
              let m = T.pack $ show x
              T.putStrLn $ m
              return x
              ) [1..10]

Но также не с: 

<interactive>:1:1: error:
    • No instance for (Show (IO Integer)) arising from a use of ‘print’
    • In a stmt of an interactive GHCi command: print it

Ответы [ 2 ]

1 голос
/ 29 апреля 2019

Вы писали:

но когда я меняю тип возвращаемого значения лямбды на тот же, что и x, который входит как \ x, как я делаю в обновлении 2 ...

Нет, нет. Вы не Лямбда-функция возвращает значение своего последнего выражения . Ваша лямбда-функция содержит только одно выражение - весь do { ... } блок определяет значение, которое является возвращаемым значением этой лямбда-функции. Не x. return принадлежит do, а не лямбда-выражению. Проще увидеть, пишем ли мы это с явными разделителями, как 

fmap (\x -> do {
              let m = T.pack $ show x ;
              T.putStrLn $ m ;
              return x
              } ) [1..10]

Блок do в целом имеет тот же монадический тип, что и каждый из его строковых операторов.

Один из них - putStrLn ..., тип которого IO (). Таким образом, ваша лямбда-функция возвращает IO t для некоторых t.

И из-за return x, t является типом x. У нас есть return :: Monad m => t -> m t, поэтому с m ~ IO это return :: t -> IO t.

x взято из списка аргументов Num t => [t], поэтому в целом у вас есть 

Num t => fmap (fx :: t -> IO t) (xs :: [t]) :: [IO t]

или 

           xs :: [t]
        fx    ::  t  ->  IO t
   ----------------------------
   fmap fx xs ::        [IO t]
1 голос
/ 25 апреля 2019

Тип fmap f [1..10] равен [T], где T - это тип возвращаемого значения f.

В вашем случае T = IO (), поэтому тип полного выражения равен [IO ()].

Действия ввода-вывода не могут быть напечатаны, поэтому GHCi жалуется, когда вы пытаетесь распечатать этот список.Возможно, вы захотите выполнить эти действия вместо того, чтобы печатать их, используя что-то вроде sequence_ (fmap f [1..10]).

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

import Data.Foldable (for_)

main = do
   putStrLn "hello"
   for_ [1..10] $ \i -> do
      putStrLn "in the loop"
      print (i*2)
   putStrLn "out of the loop"
...