Re:Oden: experimental, statically-typed functional language,...
by whateveracct on Friday February 26, 2016 @07:18PM
(#11185345)
Haskell is a bit of the odd man out in terms of syntax for type annotations. Scala, OCaml, Agda, Idris, Elm all use single colon. I'm actually unsure why Haskell is the way it is.
[ Parent
| on HN ]
Re:Oden: experimental, statically-typed functional language,...
by hollerith on Friday February 26, 2016 @07:21PM
(#11185361)
Haskell's designers wanted single colon for the cons operator, and the cons operator is legal on the left-hand side of an "equation" (sorry, don't recall the official terminology) because Haskell allows pattern matching there.
(I'm not saying I agree with the decision.)