In type theory and functional programming, abstract lists are usually defined inductively by two operations: nil that yields the empty list, and cons, which adds an item at the beginning of a list.
У теорії типів і функціональному програмуванні, абстрактні списки зазвичай індуктивно визначаються двома операціями: NIL, що дає порожній список, і CONS, яка додає елемент у початок списку.