Re: [Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.

On Thu, Apr 04, 2013 at 11:02:34AM +0000, Johannes Waldmann wrote:

My feeling is that mathematicians use this principle of leaving out some of the quantifiers and putting some others in the wrong place as a cultural entry barrier to protect their field from newbies.

Albert showed an example of leaving out quantifiers, but I didn't see an example of quantifiers in the wrong place. Did I miss one? Tom