- pro - mailman3.common-lisp.net

unsubscribe
by Ian Dalton 03 Oct '13

03 Oct '13

How do I unsubscribe from this list? I can't find a home page for it.

2 1

setf not working
by Didier Verna 03 Oct '13

03 Oct '13

Hello, yesterday, I fell on something extremely weird, or at least, which I currently fail to understand. Basically, after a (defvar *var*), there are times when (setq *var* '(0 0)) doesn't work (the previous value of *var* remains in effect). I cannot currently provide a minimal example because the situation involves several levels of nested macro / function calls in code I didn't write (*var* is solely mine though). At first, I thought I had fallen on a compiler bug, but I get the same behavior with at least 3 lisp implementations. I ultimately found a workaround, consisting in using (list 0 0) instead of '(0 0) in the assignment. I'm hoping this would be a clue to someone here to get at least a direction for investigating... Thanks. -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

6 10

assert / check-type / assure...
by Pascal Costanza 23 Sep '13

23 Sep '13

Hi, It seems to me that ASSERT and CHECK-TYPE are not as convenient as they could be. In particular, ISLISP seems to have a better alternative in ASSURE. ASSURE is easy to define: (defmacro assure (type form) (let ((object (copy-symbol 'object))) `(let ((,object ,form)) (check-type ,object ,type) ,object))) The important difference is that the value of form is returned, which allows using ASSURE inline in expressions: (1+ (assure number x)) …in place of the more lengthy: (progn (check-type x number) (1+ x)) Is ASSURE, or something similar, part of any utility library, like Alexandria or the likes? On an unrelated note, I recently came up with the following utility macro which I found very useful: (defmacro assocf (item alist &optional default &rest keys &key test test-not key) (declare (ignore test test-not key)) (let ((it (copy-symbol 'it)) (cons (copy-symbol 'cons))) `(let* ((,it ,item) (,cons (assoc ,it ,alist ,@keys))) (unless ,cons (setf ,cons (cons ,it ,default) ,alist (cons ,cons ,alist))) ,cons))) Again, is something like this already part of some utility library? Thanks, Pascal -- Pascal Costanza The views expressed in this email are my own, and not those of my employer.

6 14

Re: assert / check-type / assure...
by Pascal Costanza 22 Sep '13

22 Sep '13

On 22 Sep 2013, at 16:56, Scott McKay <swmckay(a)gmail.com> wrote: > On Sun, Sep 22, 2013 at 9:53 AM, Pascal Costanza <pc(a)p-cos.net> wrote: > Hi, > > It seems to me that ASSERT and CHECK-TYPE are not as convenient as they could be. In particular, ISLISP seems to have a better alternative in ASSURE. > > ASSURE is easy to define: > > (defmacro assure (type form) > (let ((object (copy-symbol 'object))) > `(let ((,object ,form)) > (check-type ,object ,type) > ,object))) > > > Yeah, this is really useful. One question -- is it also worth putting > in (declare (type ,object ,type)) after the let-binding? Or does every > competent compiler do the right thing once it's seen 'check-type'? The type is only guaranteed after the check-type, so I don't think it's valid to put such a type declaration immediately after the let binding. After the check-type, it does not make much sense anymore, because immediately afterwards, the object is just returned. Pascal -- Pascal Costanza The views expressed in this email are my own, and not those of my employer.

1 0

AgentCubes Lite: Sandboxed Lisp 3D authoring Application in Apple Mac Store
by Alexander Repenning 30 Jul '13

30 Jul '13

Dear All, We are still keeping this at low profile but Apple just accepted our fully sandboxed 3D Game and Simulation Design AgentCubes application (built in CCL) into the Apple Mac App store. Build a 3D simulation game and turn it into HTML5 (no Flash, no Java) page that can run on many mobile browsers. Any feedback would be appreciated. It was quite a bit of work to get this going with CCL outside of the Apple Xcode empire. https://itunes.apple.com/us/app/agentcubes-lite/id673363781?mt=12 In case you wonder what AgentCubes is here is a short movie: http://www.youtube.com/watch?v=2GWcb3aG2w0 best, Alex Prof. Alexander Repenning University of Colorado Computer Science Department Boulder, CO 80309-430 vCard: http://www.cs.colorado.edu/~ralex/AlexanderRepenning.vcf

2 2

State of common-lisp.net ?
by Pascal Costanza 17 Jun '13

17 Jun '13

Hi, What's the current state of common-lisp.net ? I'm asking because at ELS'13 I have been informed that the mailing list links on some of the pages I maintain don't work anymore (CDR and Closer to MOP). This seems to be an effect of the move from mailman to whatever system is used now. I contacted the maintainer of common-lisp.net about this, to ask what URLs to use instead, but I'm not getting any responses. At ELS'13 there was also a lightning talk about the common-lisp.net situation, but I didn't catch all the details. Could somebody repeat what was said then? And more specifically, how do others deal with the mailing list changes? Thanks, Pascal -- Pascal Costanza

8 11

Detecting implementations of CDR specifications...
by Antoniotti Marco 11 Jun '13

11 Jun '13

Dear all, following up the CDR discussion that took place aside the European Lisp Symposium in Madrid a week ago, I prepared this document that specifies how a CL environment can test for the "presence" of a given CDR. I wanted to pass it around before submitting it formally to the CDR editors. all the best Marco -- Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY Please note that I am not checking my Spam-box anymore. Please do not forward this email without asking me first.

5 5

Is this supposed to be kosher/halal/conformant?
by Antoniotti Marco 13 Apr '13

13 Apr '13

(defmacro foo (n &optional ((s &key d f) '(42222 :f 33))) `(list ,f ,n ,s ,d)) it appears to work on SBCL, CCL and LW (just changed a few things and do not have an Allegro running) It is nice, but I believe that the CLHS says otherwise. Cheers -- Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY Please note that I am not checking my Spam-box anymore. Please do not forward this email without asking me first.

3 5

[pro] best practices on type safety of/for generic functions
by John Morrison 26 Mar '13

26 Mar '13

Hi All; This is probably a dumb question, but here goes. John Alan McDonald (Hi, John, if you're on this list!) has graciously consented to let me try to revive some almost 20 year old CL software ( Arizona <http://home.comcast.net/~johnamcdonald/jamcdonald0/az93.pdf>). SBCL doesn't seem to like type-related declarations in defgeneric forms (per the spec<http://www.ai.mit.edu/projects/iiip/doc/CommonLISP/HyperSpec/Body/mac_defge…>). And there are a lot of defgenerics of the form: (declaim (declaration :returns)) ;; OK, only once, but then used repeatedly... (defgeneric interactor-role-cursor (interactor role) (declare (type Interactor interactor) (type (or Interactor-Role Null) role) (:returns (type xlib:Cursor))) (:documentation "Returns the cursor to be used when this Role is current.")) (defmethod interactor-role-cursor ((interactor Interactor) (role Interactor-Role)) "The default cursor" (xlt:window-cursor (interactor-window interactor) :target)) I did certainly benefit from some of the runtime errors generated as a result of the type declarations of some of the defmethods and defuns in my efforts to update the clx parts of the software. What is best practice, then, as regards trying to provide useful type-related information associated with generic functions? Or have I been so brain-damaged by C++/Java/etc that I am thinking about the problem-space entirely the wrong way, and thus my solution-space question is entirely meaningless? Thanks, -jm

2 1

[pro] Test… ignore...
by Antoniotti Marco 07 Mar '13

07 Mar '13

Sorry. Just ignore… -- Marco Antoniotti, Associate Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://bimib.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY Please note that I am not checking my Spam-box anymore. Please do not forward this email without asking me first.

1 0