What is Expressiveness in a Computer Language

Andreas Rossberg rossberg at ps.uni-sb.de
Thu Jun 22 17:21:31 CEST 2006


Pascal Bourguignon wrote:
> 
> For example, sort doesn't need to know what type the objects it sorts
> are.  It only needs to be given a function that is able to compare the
> objects.

Sure. That's why any decent type system supports polymorphism of this 
sort. (And some of them can even infer which comparison function to pass 
for individual calls, so that the programmer does not have to bother.)

- Andreas



More information about the Python-list mailing list