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-designcontractsaiNotes on Nex: how to use it, how it is designed, and what is changing. Subscribe to the feed.
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-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