pro

pro@common-lisp.net

1 participants
346 discussions

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

[pro] [Extended Deadline] European Lisp Symposium 2013 - Madrid - June 1-4
by Didier Verna 05 Mar '13

05 Mar '13

;; ______ _ _____ _ __ ____ ;; | ____| | | / ____| ( ) /_ | |___ \ ;; | |__ | | | (___ |/ | | __) | ;; | __| | | \___ \ | | |__ < ;; | |____ | |____ ____) | | | ___) | ;; |______| |______| |_____/ |_| |____/ ;; ;; European Lisp Symposium 2013 - ELS'13 ;; Madrid, Spain ;; ;; June 1-4, 2013 ;; ;; http://els2013.european-lisp-symposium.org/ ** DEADLINE EXTENSION: March 17th ** The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The main theme of the 2013 European Lisp Symposium is on the use of these languages with respect to the current grand challenges: big tables, open data, semantic web, network programming, discovery, robustness, runtime failures, etc. The European Lisp Symposium 2013 solicits the submission of papers with these specific themes in mind, alongside the more traditional tracks which have appeared in the past editions. We invite submissions in the following forms: Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Invited speakers: Florian Loitsch, Google: Dart, why you should care. Gérard Assayag, Ircam: Lisp and Music Research. Important dates: March, 17th 2013: submission deadline ** EXTENDED ** April, 5th 2013: acceptance results June, 1-4 2013: symposium Program Commitee: Pascal Costanza, Intel, Belgium Ludovic Courtes, INRIA, France Theo D'Hondt, Vrije Universiteit Brussel, Belgium Florian Loitsch, Google, Denmark Christian Queinnec, UPMC, France Kurt Noermark, Aalborg University, Denmark Olin Shivers, Northeastern University, USA Manuel Serrano, INRIA, France Didier Verna, EPITA, France Chair: Juan Jose Garcia-Ripoll, local organizer Christian Queinnec, PC co-chair Manuel Serrano, PC co-chair -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com

1 0

[pro] common-lisp.net down...
by Pascal Costanza 01 Jan '13

01 Jan '13

Hi, Happy new year to you all! As the subject line says, common-lisp.net seems to be down. Does anyone here on the list happen to be able to fix this? Thanx! Pascal -- Pascal Costanza The views expressed in this email are my own, and not those of my employer.

2 1

← Newer
1
...
17
18
19
20
21
22
23
...
35
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

pro