Odwracanie listy - Standard ML

Funkcja przyjmuje za argument listę i odwraca ją (zmienia kolejność elementów)

Kod programu:

fun append(x, y) = if null(x) then y else hd(x) :: append(tl(x), y)
 fun reverse(x) = if null(x) then x else append(reverse(tl(x)), hd(x) :: [ ]);

Wywołanie funkcji dla listy: 1, 2, 3, 4, 5

reverse ([[1],[2],[3],[4],[5]]);

Wynikiem jest:

val it = [[5],[4],[3],[2],[1]] : int list list