Я однажды читал о программном языке, в котором только значения первого порядка были последовательностями. Например, целочисленное значение рассматривалось как последовательность целых чисел одного элемента. Я полностью забыл название этого языка, и термины, которые я использую для поиска в Google, слишком общие, я не могу его найти. Кто-нибудь помнит это? :)