Equivalence in Programming

There are four types of equivalence I was able to imagine on a phone call with Praseed Pai (Guru of mine). An epistemic elaboration will be followed upon.

Types and “Objects” are the fundamental objects one can see in modern day programming. Types has got “Name equivalence” and “Structural equivalence”. Objects has got “Identity equivalence” and “Value equivalence” (Value equivalence should be reflexive, symmetric and transitive in nature).

Functions are objects that fall into the Structural / Identity category.