Purely Functional Data Structures - Chris Okasaki

gistfile1.ml

let suffixes list =
	let rec loop l acc =
		match l with
		| [] -> acc
		| hd::tl -> loop tl (acc @ [tl]) in
	loop list [list]


let suffixesTR list =
        let (@+) xs ys = List.rev_append (List.rev xs) ys in
	let rec loop list1 acc =
		match list1 with
		| [] -> acc
		| x::xs -> loop xs (acc @+ [xs]) in
	loop list [list]