If the guarantee you want from your system is consistency then you don’t want the untyped lambda calculus.
As software engineers who inherently understand system fragility as being an undesirable property we actually prefer para-consistent systems because they don’t “explode” under contradictions.
If the principle of explosion entails fragility; paraconsiatency entails anti-fragility.
The untyped lambda calculus is inconsistent.
If the guarantee you want from your system is consistency then you don’t want the untyped lambda calculus.
As software engineers who inherently understand system fragility as being an undesirable property we actually prefer para-consistent systems because they don’t “explode” under contradictions.
If the principle of explosion entails fragility; paraconsiatency entails anti-fragility.