Для этого уже есть встроенная функция: List.drop (xs, n)
отбрасывает n
элементов из xs
.Поскольку «взятие хвоста» эквивалентно выбрасыванию одного элемента, отбрасывание n
элементов эквивалентно «взятию хвоста» n
раз.
- List.drop ([1,1,2,3,5,8,13,21], 5);
> val it = [8, 13, 21] : int list