Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)
Коданные
Перейти к навигации
Перейти к поиску
Коданные (codata) в информатике — дуальное к данным понятие: определяются коиндуктивно, то есть, это данные потенциально бесконечные, но обозреваемые (или разрушаемые) конечными частями.
Для обработки коданных используется корекурсия (в противоположность рекурсии, разбирающей аргумент — тип алгоритма, накапливающего аргумент) и ленивые вычисления.
Моделирование[править]
Коданными моделируются:
- функции
- многопоточные программы
- потоки данных, слишком большие для традиционных алгоритмов обработки