- pro - mailman3.common-lisp.net

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

[pro] What was wrong with environments as in CLTL2 pp. 207-214?
by Jean-Claude Beaudoin 15 Dec '12

15 Dec '12

Dear all, I am currently implementing the environments interface described in section 8.5 of CLTL2 (pp. 207-214) for MKCL. It feels like a very natural extension of what was already part of the code of the Lisp-to-C compiler MKCL inherited. It feels so natural in fact that I cannot figure out why that feature has been pulled out of the final ANSI CL specification. [And I have a hell of time standing all those (declare (ignore env)) sprinkled all over the MKCL source code.] I think that some of you reading this list were there, part of the action, during those standardization days. Maybe you could shed some light on what was wrong with this part of the spec and motivated its removal. Cheers, Jean-Claude Beaudoin

4 4

[pro] Phylosophical question on "syntactic" constructors
by Marco Antoniotti 05 Dec '12

05 Dec '12

Dear all, I was fooling around with reader macros to implement some - let's say - "tuple" syntax. Now, I am just curious about the general thinking on this. First of all, let's note that the problem here in the conflating of the "constructor" with the "printed representation" of an item. I.e., in Matlab you say >> [1, 2, 40 + 2] ans = 1 2 42 In CL, doing the simple thing, you get cl-prompt> [1 2 (+ 40 2)] [1 2 42] but cl-prompt> #(1 2 (+ 40 2)) #(1 2 (+ 40 2)) So, suppose you have your [ … ] reader macro, would you have it work "functionally" or "quoting-ly" (for want of a better word)? I am curious. Note that the Matlab-style version would not break referential transparency if you did not have mutations. best Marco Antoniotti -- 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 4

[pro] ELS'13 CfP
by Christian Queinnec 02 Dec '12

02 Dec '12

;; ______ _ _____ _ __ ____ ;; | ____| | | / ____| ( ) /_ | |___ \ ;; | |__ | | | (___ |/ | | __) | ;; | __| | | \___ \ | | |__ < ;; | |____ | |____ ____) | | | ___) | ;; |______| |______| |_____/ |_| |____/ ;; ;; European Lisp Symposium 2013 - ELS'13 ;; Madrid, Spain ;; ;; June 3-4, 2013 ;; ;; http://els2013.european-lisp-symposium.org/ 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. Submissions should be directed, before March 1st, to https://www.easychair.org/conferences/?conf=els13 Invited speakers: Florian Loitsch, Google: Dart, why you should care. GÈrard Assayag, Ircam: Lisp and Music Research. Important dates: March, 1st 2013: submission deadline April, 5th 2013: acceptance results June, 3-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 --

1 0

[pro] Search engine development discussion.
by orange thirty 30 Oct '12

30 Oct '12

Hello all, My name is Pablo Rivera (orangethirty), founder of Nuuton.com. Been a software engineer for a while and have used LISP in various situations before. I joined this list in order to create an open discussion regarding the development of the Nuuton search engine. It is being developed with Common LISP (GNU CLISP). We are currently in the design stage, and have not written a line of LISP. That is why I'm here. I would like to learn about your opinions before doing anything. As a collective, this group has a lot of knowledge about the language. Knowledge that will allow us to build a better search engine with LISP. After searching around the web, I've found some projects aimed at developing web crawlers and the like with LISP. Though nothing too big or concrete. My guess is that no one has ever tried to write such system for production use. I hope to be wrong in those accounts. I will ask for your input in terms of judging how well the implementations currently available will fit Nuuton. The first stage for the Nuuton search engine is to build a very basic crawling system. We already have one in Python. But I refuse to port over the Python code to LISP, because it would undermine the latter. If you so wish, I can go ahead and translate the Python code to LISP and we can work from there. About the project: Nuuton is a new search engine. It is being actively developed by a team of three programmers. Our aim is to develop the search engine programmers need and want. Currently, our only focus is in serving the programming community. All the help you give us will in turn help the community in getting a good search engine that is not riddled with advertisements. Nuuton is also not in the business of selling advertising. We respect your privacy and will not demand that you hand over your personal information. Ever. I chose LISP because it provides the flexibility that we need for semantic web search. Questions, opinions, anything is welcome. (If this is the wrong mailing list, please point me in the right direction.) -- Pablo Rivera Sent from my C64 Skype: orange.thirty

3 2

[pro] Sensible interpretation of declarations in CLOS
by Juan Jose Garcia-Ripoll 30 Oct '12

30 Oct '12

Dear all, I am retaking an old question, which is the utility of type declarations in a language that has the flexibility of the MOP. In an extremely open-minded setup, where any class is prone to change, not only their structure, but also their metaclass, it would seem that a local declaration of the kind (DECLARE (MY-CLASS FOO)) would be totally useless. But... do you actually face that flexibility in real life? I mean, declarations such as (DECLARE (TYPE MY-INTEGER-TYPE FOO)) are used in actual code, where there is an implicit contract that the DEFTYPE type will not be changed in unsafe code. Can't we assume something similar when facing CLOS? What would be a reasonable optimization/safety/debug level to start considering that? Best, Juanjo -- Instituto de Física Fundamental, CSIC c/ Serrano, 113b, Madrid 28006 (Spain) http://juanjose.garciaripoll.googlepages.com

5 6