haskell - haskell中的 `sin sin 0.5`和 `sin (sin 0.5)`有什么区别？

Question

*> sin sin 0.5  
<interactive>:10:1:
Non type-variable argument in the constraint: Floating (a -> a)
(Use FlexibleContexts to permit this)
When checking that ‘it’ has the inferred type
  it :: forall a. (Floating a, Floating (a -> a)) => a

但是 sin (sin 0.5) 有效。
我认为它们是相同的，我无法理解错误信息。
我想知道为什么？

Answer 1

简答:sin sin 0.5 解析为 (sin sin) 0.5

长答案:表达式 sin sin 0.5 解析为 (sin sin) 0.5。现在，正弦函数适用于任何 Floating 类型。所以 Haskell 试图推断你的表达式的类型，确定 sin::Floating a => a -> a 必须是 float 的，所以 Floating a => a -> a 是一个浮点类型。但是 Haskell 不允许像 a -> a 这样的复杂类型出现在上下文表达式中，所以你会得到那个错误。如果 Haskell 允许这样的表达式(或者如果您启用了 FlexibleContexts，正如错误提示的那样)，当类型稍后无法统一时，您将得到一个更丑陋的错误。