In comp.lang.functional Andreas Rossberg <[EMAIL PROTECTED]> wrote: > Darren New wrote: [...] > > Indeed, the ability to declare a new type that has the exact same > > underlying representation and isomorphically identical operations but > > not be the same type is something I find myself often missing in > > languages. It's nice to be able to say "this integer represents vertical > > pixel count, and that represents horizontal pixel count, and you don't > > get to add them together."
> Not counting C/C++, I don't know when I last worked with a typed > language that does *not* have this ability... (which is slightly > different from ADTs, btw) Would Java count? -Vesa Karvonen -- http://mail.python.org/mailman/listinfo/python-list
