Functional programming with apomorphisms (corecursion). (English) Zbl 0963.68028
Summary: In the mainstream categorical approach to typed (total) functional programming, functions with inductive source types defined by primitive recursion are called paramorphisms; the utility of primitive recursion as a scheme for defining functions in programming is well known. We draw attention to the dual notion of apomorphisms – functions with coinductive target types defined by primitive corecursion – and show by examples that primitive corecursion is useful in programming.
MSC:
68N18 | Functional programming and lambda calculus |
68N15 | Theory of programming languages |
18B99 | Special categories |