Обсуждение:Коданные

Блог — не авторитетный источник

Если не будет приведено ссылок на серьёзные исследования, статья будет удалена. Мне самому интересно было бы почитать что-то по теме, но всё, что я нахожу — это «коданные диваны»
Carn !? 11:15, 19 марта 2009 (UTC)

Очевидно, надо искать «codata» (главное отсеять CODATA), так что лучше искать «codata corecursion». Только вот кто этим займется. Я был бы тоже не против почитать что-то развернутое, но достаточно элементарное по теме. — Yrogirg^talk 17:25, 30 марта 2009 (UTC)

Серьёзная публикация, где упоминаются «коданные»: Bart Jacobs. Coalgebraic specications and models of deterministic hybrid systems. In AMAST'96, volume 1101 of Lecture Notes in Computer Science, pages 520-535. Springer Verlag, July 1996. Серьёзную публикацию: D.Turner. Total Functional Programming // Journal of Universal Computer Science 10 (7): 751–768 цитируют в статье Корекурсия, в этой статье слово «codata» фигурирует более десятка раз. Из известных публикаций можно отметить также статью Рихарда Кибурца Codata and Comonads in Haskell. Английская википедия редиректит «codata» на «coinduction». Предлагаю объединить с «коиндукцией», сделать редирект с «коданных» на «коиндукцию», проставить интервики на английскую «coinduction» Andrei Nikolaenko 13:06, 21 ноября 2010 (UTC)