Haskell中在main = do块内调用play_game函数报错如何解决

• 检查play_game的类型签名：main对应的do块属于IO monad，所有直接执行的语句必须是IO类型动作。如果play_game是返回纯值的普通函数（类型为非IO的普通类型，例如Int、Bool、自定义游戏状态类型等），直接在do块中写play_game会触发类型不匹配报错。
  示例解决方法：如果需要输出运行结果，改为print (play_game 入参)；如果只需要拿到计算结果后续使用，用let绑定即可：let gameResult = play_game 入参。
• 检查参数传递是否合规：如果play_game需要传入参数但调用时未补全，或传入参数的类型和函数定义要求不匹配，会出现类型适配错误。例如play_game要求第一个参数为String类型的玩家名，实际调用时传入了数值类型，或是多参数函数只传了部分参数，都会导致调用报错。
• 检查play_game的类型声明是否正确：如果play_game本身需要执行IO操作（例如读取玩家输入、打印游戏内容），但写类型签名时漏写了IO包装，也会导致调用时类型不匹配。

你启用的ScopedTypeVariables扩展本身不会影响普通函数的调用逻辑，问题基本都出在类型匹配或者参数传递环节。

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