Посоветуйте хорошую книгу по Haskell для начинающих.

То, что ты считаешь недопустимым называть это «quicksort»-ом, а только соответствующий императивный алгоритм, не означает что все с тобой согласны.

Ты можешь называть себя капитаном галактики, но не удивляйся, если тебя кто-то не поймет. У быстрой сортировки, она же сортировка Хоара, есть единственный алгоритм, и он не совпадает с приведенным тобой алгоритмом на хаскеле.
В функциональных языках аналогом изменения переменной является пропускание значения через функцию. Если представлять рекурсивные вызовы частей массива аналогом императивного алгоритма разделения, то все равно это получается не сортировка Хоара.

Вот можешь ещё взглянуть насколько часто это встречается

Я так понимаю, что у поехавших свой мир, где быстрая сортировка именно так делается, где императивное программирование вымирает и все новые крупные проекты пишутся на хаскеле, и хаскель уже вот-вот завоюет мир.

Про кадры уже говорили.

Если бы всё дело было в одних кадрах, гугловцы бы потратились на подготовку себе кадров а не на разработку нового языка.

Если бы всё дело было в одних кадрах, гугловцы бы потратились на подготовку себе кадров а не на разработку нового языка.

Гугловцы не готовят кадры и не пишут языки - они отбирают уже зрелые кадры и выбирают наиболее популярные языки, чтобы эти кадры могли спокойно друг с другом взаимодействовать. Гугл разрабатывал свои языки только там, где годных альтернатив реально не было - я имею в виду замену C++ и JS в лице Go и Dart, и то последний заменяют на ClojureScript.

Таким образом, если ты хочешь сделать какой-то крупный проект, то тебе придется дописывать компилятор/рантайм, что становится неотъемлимой частью разработки на хаскеле, поскольку в крупном проекте ты неизбежно упрешься в ограниченность реализации, а есть очень мало кодеров, которые умеют это хорошо делать.

Чего? С чего бы это вдруг? Ты несёшь дичь какую-то. Сам придумал?

Это не абстракция, а черный ящик - ты их не писал, ты их не можешь изменить, и ты даже не знаешь, как они работают. Твоя почетная участь - дергать за ограниченное число ручек, как прогеры, которые пишут мышкой приложения в visual basic.

Поскольку ты всё-таки умеешь обращаться с ключевыми словами, вроде STM, MVar, знаешь про хаки с GC в системной либе, то однозначно ты - тролль (ну или крепко поехавший, возможно both).

Вот тут человек называет это «most basic stupid quicksort implementation», но по прежнему «quicksort».

Ну так всяких у*банов полно.