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

[Albert Y. C. Lai]

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).