Corecursion


Topic history | v1 (current) | created by jjones

Details

Corecursion

| created by jjones | Add topic "Corecursion"
Title
Corecursion
Description
In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion works analytically, starting on data further from a base case and breaking it down into smaller data and repeating until one reaches a base case, corecursion works synthetically, starting from a base case and building it up, iteratively producing data further removed from a base case. Put simply, corecursive algorithms use the data that they themselves produce, bit by bit, as they become available, and needed, to produce further bits of data. A similar but distinct concept is generative recursion which may lack a definite "direction" inherent in corecursion and recursion.
Link
https://en.wikipedia.org/?curid=1338683

resources

treated in Classical (Co)Recursion: Programming
v1 | attached by jjones | Add topic "Corecursion"

authors

This topic has no history of related authors.

topics

subtopic of Computer programming
v1 | attached by jjones | Add topic "Corecursion"