小编Xdm*_*nsy的帖子

在Haskell中,使用双冒号键入声明,即(::),类似not :: Bool -> Bool.

但是在许多语言中,其语法类似于Haskell,例如elm,agda,它们使用单​​个冒号(:)来声明类型.喜欢not : Bool -> Bool.

为什么这些语言放弃了haskell样式类型声明语法.

• 是(:)比(::)更好地声明一个类型？
• 或者是(::)更适合其他用途？
• 或者只是因为(:)是一个小于(::)的char？