danielnicholas

12 ms·

1. 1.▲
   by danielnicholas 4y ago

   I’m a co-author of the paper that the OP’s post discusses. A few clarifications: - In safety- or security-critical systems, you may want to define a small trusted base, or to be able to audit the system to be confident that certain failures
2. 2.▲
   by danielnicholas 5y ago

   For those not familiar with the JSP style alluded to in the comments, and its contrast to the "traditional style," here's an example of a function that splits a string into words. The "traditional" version was shown
3. 3.▲
   by danielnicholas 5y ago

   If you want an intro to JSP, you might find helpful an annotated version [0] of Hoare's explanation of JSP that I edited for a Michael Jackson festschrift in 2009. For those who don't know JSP, I’d point to these ideas as worth kn
4. 4.▲
   by danielnicholas 5y ago

   JSP used the "quit" statement to handle errors and backtracking; it was a primitive form of exception before exceptions were common. There's a lengthy defense of this in the JSP book (on p.282) arguing that eliminating GOTOs
5. 5.▲
   by danielnicholas 5y ago

   That's exactly how JSP was used. In its first application to COBOL, the JSP-COBOL tool turned structured code into coroutining code with suspend/resume, and tools built later for JSD generated code to save state in a database.