What is Expressiveness in a Computer Language
Vesa Karvonen
vesa.karvonen at cs.helsinki.fi
Wed Jun 21 12:36:10 EDT 2006
In comp.lang.functional Andreas Rossberg <rossberg at ps.uni-sb.de> 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
More information about the Python-list
mailing list