Demystifying Type (and some Un-Paradoxing)
Summary
A personal essay challenging the necessity of 'type' in programming languages, arguing that type information can be represented as relational facts and that compilation-time disambiguation is what type provides. It discusses Curry-Howard and Russell's paradox, and proposes moving toward a unified relational representation where type is not a distinct construct.