Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
h_T=1, h_(i+1)<h_i
<sub> </sub>для нижнего индекса.

let rec quicksort = function
| [] -> []
| h::t -> quicksort ([ for x in t do if x<=h then yield x])
@ [h] @ quicksort ([ for x in t do if x>h then yield x]);;
Ещё раз про сортировку