Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Коданные

Материал из Циклопедии
Перейти к навигации Перейти к поиску

Коданные (codata) в информатикедуальное к данным понятие: определяются коиндуктивно, то есть, это данные потенциально бесконечные, но обозреваемые (или разрушаемые) конечными частями.

Для обработки коданных используется корекурсия (в противоположность рекурсии, разбирающей аргумент — тип алгоритма, накапливающего аргумент) и ленивые вычисления.

Моделирование[править]

Коданными моделируются:

См.также[править]

Источники[править]