scrambled
scrambled
Concept

Structural recursion

Modified just now
Books JourneyProgramming Language Theory Statusreviewing Tags
  • data-structure-algorithm
  • language-feature-design
  • programming paradigm

A recursion scheme that decomposes data along its Constructors, guaranteeing termination by recursing only on structurally smaller subterms.

A recursion scheme that decomposes data along its constructors, guaranteeing termination by recursing only on structurally smaller subterms.