When Code Is Cheap, Design the Promises
AI has made code cheap to write but no cheaper to trust. Here we examine how that affects two aspects of software engineering — specification and keeping track of program evolution.
software-designcontractsaiAI has made code cheap to write but no cheaper to trust. Here we examine how that affects two aspects of software engineering — specification and keeping track of program evolution.
software-designcontractsaiHow Nex allows the specification of an abstract datatype to live in the code itself instead of a comment or document.
how-toobject-oriented-programmingsoftware-designcontracts