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

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Thu Apr 4 13:55:35 CEST 2013

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?


More information about the Haskell-Cafe mailing list