Haskell中read是show的逆操作吗？为何read(show 42)报错？

你遇到的问题核心是**read是多态函数，GHCi无法自动推断你期望的返回类型**。

show 42确实会生成字符串"42"，但read函数的类型是Read a => String -> a——它可以把字符串转换成任何实现了Read类型类的类型（比如Int、Integer、Float等）。当你直接在GHCi里输入read (show 42)时，GHCi没有足够的上下文信息来确定你要转换成哪种类型，所以就抛出了解析错误。

解决方法很简单，两种方式任选其一：

• 显式指定目标类型：

  read (show 42) :: Int
  

  这样GHCi就明确知道要把字符串转换成Int类型，自然会返回42。

• 通过上下文让GHCi自动推断类型：
  比如把结果传给需要特定类型的函数，比如print：

  print (read (show 42))
  

  因为print要求参数实现Show类型类，而Int满足这个条件，GHCi会自动推断出类型，正确执行并输出42。

内容的提问来源于stack exchange，提问作者Penguino