Functional Programming

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Functional Programming.

• Anamorphism — A coinductive unfold that maps a seed coalgebra uniquely into a final coalgebra, generating a recursive data structure.
• Graph reduction — Evaluation of a functional program by rewriting a shared expression graph so lazy subexpressions are computed at most once.