freenode/#lisp - IRC Chatlog
Search
16:57:10
flip214
with UIOP:launch-program, can I have arbitrary file handles passed on? Ie. create a socketpair or pipe and pass one end as FD 17 or whatever?
18:13:19
etimmons
flip214: not portably. All implementations I'm aware of either close all extra file handles without a way to override (e.g., SBCL) or pass all of them on without a way to override (e.g., ECL)
18:14:51
etimmons
But if an implementation allows you to configure that, you can add the necessary keyword args to UIOP:LAUNCH-PROGRAM. It passes all unknown args through to the implementation, IIRC
0:11:45
no-defun-allowed
srji: Somewhat late, but SETF came from SETFQ, which was something like "set function quoted" as the "function" place you'd set would appear quoted like SETQ.
0:16:57
White_Flame
it seems that :EXTERNAL-FORMAT is passed into the dispatcher, which then ends up in an ECASE looking for :STREAM-EXTERNAL-FORMAT, all in sbcl's main code
0:19:36
White_Flame
(this call is being made by some old code I'm running, but crashes standalone in a clean image under slime as well)
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.