March 2013 - pro - mailman3.common-lisp.net

[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