Witam.
Próbuję zrozumieć rekurencję ogonową.
Kiedy patrzę na najprostsze przykłady (z użyciem akumulatora), to niby
to rozumiem, ale kiedy próbuję z funkcją troszkę bardziej
skomplikowaną niż silnia to wymiękam.
Konkretnie wymiękłem na takiej prostej implementacji insert sorta, czy
da się to zmusić do bycia tail-recursive?
Gdyby ktoś zechciał mi to jakoś opisowo wytłumaczyć na tym przykładzie
to będę bardzo wdzięczny

let rec insertSort l =
let rec insert elem lst =
match lst with
| [] -> [elem]
| head::tail -> if elem < head then elem::head::tail else
head::(insert elem tail)
match l with
| [] -> []
| f::r -> insert f <| insertSort r

Pozdrawiam.