了解如何在Haskell中解析纯函数

时间:2016-12-29 11:00:59

标签: haskell ghci applicative

在GHCi中,当我输入pure 2时,它会返回2;或pure "aa"返回"aa"。我想知道这个应用实例是如何解决2或" aa"作者:GHCi。

1 个答案:

答案 0 :(得分:6)

GHCi表现出一些神奇的用户友好性。

输入类型为... => f a的表达式时,会尝试将f实例化为IO。在您的情况下,这是可能的,因为IO是一个应用程序(和monad)。

其次,当输入具有... => IO a形式的表达式时,它将作为IO动作运行。

最后,如果a属于班级Show,则会打印结果。在您的情况下"aa"是结果(类型aString),因此GHCi会打印出来。

相关问题