Re: [Haskell-cafe] In what language...?

On 10-10-25 05:10 PM, Andrew Coppin wrote:

Hypothesis: The fact that the average Haskeller thinks that this kind of dense cryptic material is "pretty garden-variety" notation possibly explains why normal people think Haskell is scary.

How many normal people actively stalk highly specialized academic papers like you do and mistake them for Haskell tutorials to begin with? (Pun: strawman is made of stalks.) However, average programmers using languages with interesting type systems should learn type rule notation sooner or later. It takes only Θ(1) to learn, and its saving in writing and reading is Θ(n) if you will use it n times in the rest of your life (which you do because you are using languages with interesting type systems).