Yet another quote

I've started to hang out at a nice place for programming language discussions called Lambda-the-ultimate. Today I was reading a discussion about the definition of what a "type" is and how one might explain that to a beginner. Now, many people find it helpful to refer to a type as a set of values. But then one poster gave the following example of why sets and types should be considered quite differently:
The obvious point of difference is empty sets/types: the set of Klingons and the set of even prime numbers greater than 10 are the same, but the types are very different.

No comments: