On Mon, Oct 23, 2006 at 03:26:33PM +0100, Conor McBride wrote:
This seems like the ideal time to make a wannabe library proposal which is pointless, but pointless by design. The code's quite short:
so, just to clarify, is what you are proposing is a type whose only inhabitant is _|_, and since _|_ inhabits all types, we should be able to freely cast this bottom-only-containing type to any other? Sounds good to me. I can't think of a use off the top of my head, but I ended up using Identity all over the place... and this sounds like just the random sort of thing I will find odd uses for. :) but since 'Zero' is often used in type arithmetic implementations (even though those uses arn't entirely incompatable) I think we should name it something else. I think data Bottom is waht I would like. John -- John Meacham - ⑆repetae.net⑆john⑈