处理IO动作

Question

我是一名哈斯克尔初学者，并且陷入了IO动作行为。

main() :: IO()
  retval = if something
             then "foo"
             else `return value of IO String action` i.e getLine
  print retval

如何使此代码有效？

Answer 1

if的两个分支都必须具有相同的类型。由于"foo"为String，else部分也必须是String（但不是IO String）。

你可以做到

retval = if something
           then return "foo"
           else getLine

为了制作if类IO String的所有部分。在此处，return会将字符串"foo"转换为仅返回IO的{​​{1}}操作。

然后，您需要从"foo"中提取String，因为IO String需要一个字符串（即您执行print操作）：

IO

Answer 2

中的 then 和 else 值如果需要具有相同的类型。您需要将 String 转换为 IO String 。

＆＃xA;＆＃xA;

return 函数将执行这适合你。

＆＃xA;＆＃xA;

  main :: IO（）＆＃xA; main = do＆＃xA; retval＆lt;  - 如果有什么＆＃xA;然后返回“foo”＆＃xA;其他getLine＆＃xA; print retval＆＃xA;  

＆＃xA;＆＃xA;

请注意，因为这是类型IO a，您还需要使用“＆lt; - ”分配retVal的值，而不是 let .. = .. 。

＆＃xA;