This is a great comment and I endorse it. Lots of other languages make it way easier than C to write "fused quicksort". Although it doesn't pay much regard to

This is a great comment and I endorse it. Lots of other languages make it way easier than C to write "fused quicksort". Although it doesn't pay much regard to programming language theory, Jai is another interesting language in this area, made by a guy who's mostly concerned with being able to express the fully specialized/fused version of everything without creating extra work for the programmer.