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-designcontractsA Nex program reads its arguments from the predeclared program object. Here is how to get at them, parse them into usable formats, and deal with invalid input gracefully.
how-toclicontracts