14 Mar
2009
14 Mar
'09
2:51 p.m.
On 14 Mar 2009, at 06:22, Michael Shulman wrote:
Normal programming languages do not generally come with predefined types that admit no values, since such types are evidently not very useful!
That's not exactly true. There is a huge area of type-level programming (or metaprogramming, as it's called sometimes), and empty types are useful as some sort of "flags" in this type of programming. Of course, you can allow some values of this types, but this is what makes no sense in this case.