typemorphism

Or, if we consider several different sorting algorithms implementations, do we want to consider them equal as functions?For a machine…

functions, type, typemorphism