[Haskell-cafe] Haskell is a declarative language? Let's see how easy it is to declare types of things.
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