2:15:04dbottonin most languages assertions are turned off on deliverables
2:16:05dbottonI assume that is why assert doesn't return the value of the form it evaluates.
2:17:43no-defun-allowed"Thus, rather than having the software discover its own errors in a benign way, the discovery of such errors is left to the FAA or a Congressional committee."
2:19:06no-defun-allowedHell, https://web.archive.org/web/20160321151425/www.pipeline.com/~hbaker1/letters/CACM-DubiousAchievement.html (where I got the quote from) is even about assertions in Ada.
2:22:05dbottonIn theory once you have "proven" you application there is no reason to continue to run them.
2:32:59dbottonPoplog Prolog was used to develop the original version of the SPARK toolkit by Praxis Systems, though they now use Sicstus Prolog, as that has features not in Poplog Prolog.
13:33:53pveHi! I would like to give instances of my generic function class a default "function". Is the correct place to do this in "initialize-instance :after ((gf my-gf-class) ... " using set-funcallable-instance-function?