уже есть туплы?
@type list(a) :: {} | {a, list(a)}
Я думаю там внутри разные реализации и оптимизации
разное представление, список - моноидальный, рекурсивный тип, tuple - фиксированный кортеж, разные требования по доступу и модификации, в одну реализацию впихнуть можно, но неэффективно
Обсуждают сегодня