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