Nützliche Unterscheidungen pt. 49 (The Bootstrapping Edition)

Eine weitere zumindest pragmatisch sehr nützliche Unterscheidung ist die Unterscheidung, ob eine Unterscheidung eine nützliche ist oder nicht.

(es gibt gar nicht so wenig dinge, die nützlich scheinen, aber nicht wirklich nützlich sind und die sich dann eher sogar in den weg stellen usw. es ist jedenfalls sicher kein fehler, diese dinge zu erkennen)

(abt: draw the distinction!)