Code, engineering, frameworks and software craft.
Types as Commitments Types are not bureaucracy. They are commitments to unambiguous thought. A good type system encodes domain truths so the compiler can protec...
Programming forces language into non-ambiguous meaning. It is not about instructions — it is about constructing worlds where every concept has a single interpre...
