freenode/#lisp - IRC Chatlog
Search
2:12:21
dbotton
is there a way to disable assertions? (I can't seem to find a way on both ecl and sbcl)
2:17:43
no-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:06
no-defun-allowed
Hell, 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:05
dbotton
In theory once you have "proven" you application there is no reason to continue to run them.
2:25:59
no-defun-allowed
There are theorem provers in Lisp, but they are far detached from Common Lisp. ACL2 doesn't even have higher order functions.
2:32:59
dbotton
Poplog 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.
2:34:00
no-defun-allowed
ACL2 is written in Common Lisp, but it verifies a sort of first order logic with numbers and lists.
2:35:27
no-defun-allowed
If that returns a generalised boolean, you should treat it as such. So it only would return true.
2:36:15
no-defun-allowed
"The consequences are undefined if the values yielded by the form are not of the type specified by value-type."
2:46:24
dbotton
On ecl does "the" have any purpose beyond indicating the intent of the return value to human readers?
13:33:53
pve
Hi! 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?
13:46:28
jackdaniel
so when you add /first/ method and /second/ method, and remove /first/ method.. :-)
13:46:32
phoe
sounds like you either need a general case for 0 methods or that you need to handle both cases, namely, in some sort of initialization code and then in your remove-method
13:47:26
pve
phoe: exactly, I only asked because I'm having some problems getting it to work using initialize-instance :after
13:49:48
pve
Bike: hmm actually if I replace the default function with something simple like (print 'hello) it does work.. so the problem is most likely elsewhere
13:52:40
pve
the point of this is to improve my "does-not-understand" functionality which uses no-applicable-method, but it only seems to work when the gf has at least one method