Quicksort ain't shit

The fact that it's a commonly taught sorting algorithm is just an accident of history and imperative languages' being popular. It's actually quite a lot more complex than merge sort or heap sort and it's much harder to analyze. (Proving that merge sort runs in O(n log n) is relatively easy; proving that quicksort runs in O(n log n) in expectation is quite hard.)

>>5
A sufficiently smart compiler can figure that out for us. Your mind can't handle abstraction because it's clouded by the imperative paradigm.