Classical (Co)Recursion: Programming

Resource | v1 | created by jjones |
Type Paper
Created 2021-03-11
Identifier unavailable


Our aim here is to illustrate how the benefits of structural corecursion can be found in a broader swath of the programming landscape than previously thought. Beginning from a tutorial on structural corecursion in the total, pure functional language Agda, we show how these same ideas are mapped to familiar concepts in a variety of different languages. We show how corecursion can be done in strict functional languages like Scheme, and even escapes the functional paradigm entirely, showing up in the natural expression of common object-oriented features found in languages like Python and Java.


about Corecursion

In computer science, corecursion is a type of operation that is dual to recursion. Whereas recursion...

Edit details Edit relations Attach new author Attach new topic Attach new resource
8.0 /10
useless alright awesome
from 1 review
Write comment Rate resource Tip: Rating is anonymous unless you also write a comment.
Resource level 2.0 /10
beginner intermediate advanced
Resource clarity 8.0 /10
hardly clear sometimes unclear perfectly clear
Reviewer's background 2.0 /10
none basics intermediate advanced expert
Comments 1
0 0

8 rating 2 level 8 clarity 2 user's background

Introduces co-recursion well
Does not give examples of co-recursion apart from streams