What is this?
We introduce in this document a paradigm of “relationship oriented programming” (ROP) sitting in between object-oriented programming (OOP) and functional programming (FP).
We will explain the paradigm in the following ways
- (Engineering): By concrete examples in computer programming
- (Computer Science) By a precise formulation using homotopy type theory (HoTT)
- (Geometry) By a moduli-space interpretation via objects in an -topos.
We’ll begin with some motivation
What is Relationship-Oriented Programming?
Why Relationship-oriented programing
Look into
- Look at local systems valued in filtered spectra, see how cohomology correspond to composition.
- What does the notion of computational complexity look like in each of the three lenses?