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必须浮动,因此Floating a => a -> a是浮点类型.但是Haskell不允许复杂类型a -> a出现在上下文表达式中,因此您会得到该错误.如果Haskell允许这样的表达式(或者如果你启用了FlexibleContexts,正如错误所示),那么当类型以后无法统一时,你会得到一个更丑陋的错误.