eurolisp

eurolisp@common-lisp.net

1 participants
274 discussions

[eurolisp] Who will go to ILC05 at Stanford?
by Ernst van Waning 14 Apr '05

14 Apr '05

Hello, As you will have noticed, ALU will organize ILC05 next June at Stanford university (http://www.alu.org/alu/ilc05-registration.html). As we think of organizing the next ILC in Europe, we would like to know who will go to Stanford, so we can start preliminary discussions about the organization. Can you reply to me? Kind regards, Ernst van Waning President, ALU

1 0

[eurolisp] Amsterdam, Amsterdam!
by Pascal Costanza 08 Apr '05

08 Apr '05

Hi everybody, I am fixing my plans for the Amsterdam trip (no drugs, just Lisp ;). Can anyone recommend a good and cheap hotel? Thanks, Pascal -- 2nd European Lisp and Scheme Workshop July 26 - Glasgow, Scotland - co-located with ECOOP 2005 http://lisp-ecoop05.bknr.net/

10 21

[eurolisp] [ANN] Closer to MOP
by Pascal Costanza 03 Apr '05

03 Apr '05

Hi, I have just made the first public release of Closer to MOP available, a compatibility layer for a number of Common Lisp / CLOS implementations that bring their MOPs closer to the AMOP specification. Supported Common Lisp implementations include Allegro Common Lisp 6.2 Trial Version, CLisp (current CVS builds), CMUCL 19a+ (experimental Darwin port), LispWorks for Macintosh 4.3 Personal Edition, OpenMCL 0.14.3 and SBCL 0.8.21. All tests have been performed under Mac OS X 10.3.8. See a list of the fixed features below. This release is accompanied by v0.1 of the MOP Feature Tests on which Closer to MOP is based. Please note that the software is in an early stage and requires a good understanding of the CLOS MOP and its specification as found in AMOP. Further note that the feature tests and the fixes provided by Closer to MOP are not complete. Please carefully check the documentation provided with the above libraries. The software can be downloaded from http://common-lisp.net/project/closer/ Cheers, Pascal Features that don't adhere to AMOP in various CLOS MOP implementations, and whether and how they are resolved in Closer to MOP. (Note: This list may include mistakes and misinterpretations of the AMOP specification!) Allegro Common Lisp, 6.2 Trial edition - COMPUTE-DEFAULT-INITARGS takes more parameters than specified. Not fixed. Conditionalize on #+allegro for your own methods instead. - DEFGENERIC does not call FIND-METHOD-COMBINATION. Not fixed. - DEFMETHOD doesn't call MAKE-METHOD-LAMBDA. Not fixed. - The dependent protocol for generic functions doesn't work fully. Fixed. - The function invocation protocol doesn't call COMPUTE-APPLICABLE-METHODS, COMPUTE-APPLICABLE-METHODS-USING-CLASSES and COMPUTE-EFFECTIVE-METHOD. Not fixed. - MAKE-METHOD-LAMBDA is not provided. Not fixed. - Method functions don't take parameters as specified in AMOP, but instead just the parameters that the generic function receives. Not fixed. - REINITIALIZE-INSTANCE doesn't determine a new discriminating function. Fixed. - (SETF CLASS-NAME) and (SETF GENERIC-FUNCTION-NAME) do not use REINITIALIZE-INSTANCE for changing the names. Fixed. - VALIDATE-SUPERCLASS doesn't recognize T as a valid superclass. Not fixed. CLisp, 2.33.x None of the incompatibilities in CLisp are fixed. - Methods are not initialized with :function. - ADD-METHOD, REMOVE-METHOD, INITIALIZE-INSTANCE and REINITIALIZE-INSTANCE do not determine a new discriminating function. This is postponed until function invocation instead, so shouldn't be a problem in practice. - DEFGENERIC does not call ENSURE-GENERIC-FUNCTION-USING-CLASS. (I don't see how one can usefully specialize E-G-F-U-C anyway.) - DEFMETHOD does not call ADD-METHOD and MAKE-METHOD-LAMBDA. - A FORWARD-REFERENCED-CLASS is not changed via CHANGE-CLASS (but is correctly reinitialized via REINITIALIZE-INSTANCE). - MAKE-METHOD-LAMBDA is not provided. CMUCL, 19a+ Darwin/Exp 2004-07-25-090 - Accessor methods are not initialized with :function, :lambda-list, :slot-definition and :specializers. Fixed. - Classes cannot be anonymous. Fixed. - Class initialization doesn't call READER-METHOD-CLASS and WRITER-METHOD-CLASS for accessor methods. Fixed. - DEFMETHOD does not call MAKE-METHOD-LAMBDA. Not fixed. - The dependent protocol for generic functions doesn't work fully. Fixed. - Effective slot definitions are not initialized with :documentation, and EFFECTIVE-SLOT-DEFINITION-CLASS also doesn't receive that initarg. Not fixed. - Methods are not initialized with :function. Not fixed. - Multiple slot options are not passed as lists to DIRECT-SLOT-DEFINITION-CLASS. Not fixed, but use FIX-SLOT-INITARGS as a workaround. - REINITIALIZE-INSTANCE doesn't determine a new discriminating function. Fixed. - (SETF CLASS-NAME) and (SETF GENERIC-FUNCTION-NAME) do not use REINITIALIZE-INSTANCE for changing the names. Fixed. - STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are not compatible. Not fixed. LispWorks, 4.3 Personal Edition - Accessor methods are not initialized with :function, :lambda-list, :slot-definition and :specializers. Fixed. - ACCESSOR-METHOD-SLOT-DEFINITION doesn't exist. Fixed. - ADD-METHOD doesn't call ADD-DIRECT-METHOD and REMOVE-METHOD. Fixed. - ADD-METHOD, REMOVE-METHOD, INITIALIZE-INSTANCE and REINITIALIZE-INSTANCE do not determine a new discriminating function. This is postponed until function invocation instead, so shouldn't be a problem in practice. - Effective slot definitions are not initialized with :allocation, and EFFECTIVE-SLOT-DEFINITION-CLASS also doesn't receive that initarg. Not fixed. This information is encoded in the initarg :flags, but I don't have any detailed information about that parameter. - Class initialization doesn't call READER-METHOD-CLASS and WRITER-METHOD-CLASS for accessor methods. Fixed. - Classes are not initialized with :direct-default-initargs, but with :default-initargs. Conditionalize on #+lispworks to fix this. - Class reinitialization does not call REMOVE-DIRECT-SUBCLASS. Fixed. - COMPUTE-APPLICABLE-METHODS-USING-CLASSES doesn't exist. Not fixed. - COMPUTE-DEFAULT-INITARGS doesn't exist. Not fixed. - DEFGENERIC does not call FIND-METHOD-COMBINATION. Not fixed. - The dependent protocol for generic functions doesn't work fully. Fixed. - When classes are initialized, :direct-superclasses are by default not empty. Not fixed, but direct superclasses are automatically adjusted when you use the standard idiom for adding a new default superclass. - EQL-SPECIALIZER, EQL-SPECIALIZER-OBJECT and INTERN-EQL-SPECIALIZER don't exist. In LispWorks, eql specializers are lists not objects. I have provided EQL-SPECIALIZER as a type (not as a class) and EQL-SPECIALIZER-OBJECT and INTERN-EQL-SPECIALIZER to work on lists, and a class EQL-SPECIALIZER* and corresponding EQL-SPECIALIZER-OBJECT* and INTERN-EQL-SPECILAIZER* to soften the incompatibilities. - FIND-METHOD-COMBINATION doesn't exist. Fixed, but fixed version doesn't work with method combination options. - FUNCALLABLE-STANDARD-INSTANCE-ACCESS and STANDARD-INSTANCE-ACCESS don't exist. Not fixed. - The function invocation protocol doesn't call COMPUTE-APPLICABLE-METHODS and COMPUTE-APPLICABLE-METHODS-USING-CLASSES. Not fixed. - Generic functions are not initialized with :declarations, but with 'declare. Not fixed. Conditionalize on #+lispworks instead. - MAKE-METHOD-LAMBDA expects other parameters than specified. Fixed. - Method functions don't take parameters as specified in AMOP, but instead just the parameters that the generic function receives. Not fixed. - READER-METHOD-CLASS and WRITER-METHOD-CLASS don't exist. Fixed. - REMOVE-METHOD doesn't call REMOVE-DIRECT-METHOD. Fixed. - (SETF CLASS-NAME) and (SETF GENERIC-FUNCTION-NAME) do not use REINITIALIZE-INSTANCE for changing the names. Fixed. - The slot methods (SLOT-VALUE-USING-CLASS, etc.) are not specialized on effective slot definitions, but on slot names. Fixed. - The generated accessor methods don't use the slot methods for accessing slots. Fixed. (Don't use :optimize-slot-access to deoptimize slot access, or otherwise the fixed slot access protocol doesn't work anymore!) - SPECIALIZER doesn't exist. Not fixed. - SPECIALIZER-DIRECT-GENERIC-FUNCTIONS doesn't exist. Fixed. - STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are not compatible. Not fixed. OpenMCL, 0.14.3 In OpenMCL, generic functions work completely differently than specified. The specific incompatibilities are not listed and are not fixed. - EQL-SPECIALIZER is not exported. Fixed. SBCL, 0.8.21 - Accessor methods are not initialized with :function, :lambda-list, :slot-definition and :specializers. Fixed. - Classes cannot be anonymous. Fixed. - Class initialization doesn't call READER-METHOD-CLASS and WRITER-METHOD-CLASS for accessor methods. Fixed. - DEFMETHOD does not call MAKE-METHOD-LAMBDA. Not fixed. - The dependent protocol for generic functions doesn't work fully. Fixed. - Effective slot definitions are not initialized with :documentation, and EFFECTIVE-SLOT-DEFINITION-CLASS also doesn't receive that initarg. Not fixed. - METAOBJECT doesn't exist. Not fixed. - Methods are not initialized with :function. Not fixed. - Multiple slot options are not passed as lists to DIRECT-SLOT-DEFINITION-CLASS. Not fixed, but use FIX-SLOT-INITARGS as a workaround. - REINITIALIZE-INSTANCE doesn't determine a new discriminating function. Fixed. - (SETF CLASS-NAME) and (SETF GENERIC-FUNCTION-NAME) do not use REINITIALIZE-INSTANCE for changing the names. Fixed. - STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are not compatible. Not fixed. Summary: - If you specialize COMPUTE-DEFAULT-INITAGS, conditionalize for the extra parameters in Allegro Common Lisp. - Don't rely on FIND-METHOD-COMBINATION to do its job correctly, only when you don't provide method combination options. - MAKE-METHOD-LAMBDA only works in CMUCL and SBCL to a certain extent, and in LispWorks to a certain other extent. It CMUCL and SBCL, MAKE-METHOD-LAMBDA isn't called under certain circumstances, and in LispWorks, the returned lambda expression doesn't adhere to the AMOP specification. - Specialize the methods for the dependent protocol on the class or generic function metaobject class. The example in AMOP doesn't do this but that is fragile code. - Don't rely on methods being initialized with the specified initargs from inside the MOP. - CLisp doesn't change a FORWARD-REFERENCED-CLASS via CHANGE-CLASS. Apart from that, FORWARD-REFERENCED-CLASS works reliably across all MOPs. - Effective slot definitions and EFFECTIVE-SLOT-DEFINITION-CLASS don't receive :documentation in CMUCL and SBCL, and no :allocation (!) in LispWorks. - If you specialize DIRECT-SLOT-DEFINITION-CLASS, use FIX-SLOT-INITARGS in portable code. - In CMUCL, SBCL and LispWorks, STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are not compatible. - The function invocation protocol only works in CMUCL, SBCL and CLisp. - If you need to see :direct-default-initargs when classes are initialized, conditionalize on #+lispworks to receive :default-initargs instead. - COMPUTE-DEFAULT-INITARGS doesn't exist (and isn't called) in LispWorks. - In LispWorks, eql specializers are lists. - FUNCALLABLE-STANDARD-INSTANCE-ACCESS and STANDARD-INSTANCE-ACCESS doesn't exist / should not be used in LispWorks. - If you need to see :declarations when generic functions are initialized, conditionalize on #+lispworks to receive 'declare instead. - In Allegro Common Lisp and LispWorks, method functions take the original parameters that a generic function has received. - In LispWorks, the class SPECIALIZER doesn't exist. - In SBCL, the class METAOBJECT doesn't exist. - If you need to rely on the generic function protocols, don't use MCL or OpenMCL (or be very careful - some minor things work there as specified). The following known problems with existing MOPs are not tested or fixed (yet): - Allegro: defmethod does not accept more than one qualifier. - SBCL/CMUCL (PCL): The object returned by compute-discriminating-function cannot be funcalled. - CLisp: A generic function without any method defined on it cannot be called. These problems may also occur in other CLOS implementations. ...end of transmission...

1 0

[eurolisp] [CfP] 2nd European Lisp & Scheme Workshop
by Pascal Costanza 30 Mar '05

30 Mar '05

+---------------------------------------------------------------------+ | 2nd European Lisp and Scheme Workshop | | July 26 - Glasgow, Scotland - co-located with ECOOP 2005 | | Supported by ALU | +---------------------------------------------------------------------+ *********************************************************************** Important - The workshop will include a keynote by Richard P. Gabriel. (pending) - We are looking for papers & for breakout group proposals! (see below) *********************************************************************** Important Dates: Submission deadline: May 16, 2005 Notification of acceptance: May 27, 2005 ECOOP early registration deadline: pending For more information visit http://lisp-ecoop05.bknr.net (expect a few updates in the near future) or contact pc(a)p-cos.net Organizers ********** Pascal Costanza, Programming Technology Lab, Vrije Universiteit Brussel Theo D'Hondt, Programming Technology Lab, Vrije Universiteit Brussel Arthur Lemmens, Independent Consultant, Amsterdam Manuel Serrano, INRIA Sophia-Antipolis, France Website: Hans Huebner, Berlin Overview ******** Lisp has a tradition of providing a fruitful basis for language design experiments for many decades. The structure of Lisp, including its current major dialects Common Lisp and Scheme, makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. The Common Lisp Object System (CLOS) was the first object-oriented programming language to receive an ANSI standard. It is, arguably, the most complete and advanced object system of any language. Despite having somewhat disappeared from the radar of popular computer science, Lisp has just started to gain momentum again. There is a steadily growing interest in Lisp as such, with numerous user groups having formed recently worldwide, and Lisp's metaprogramming notions that are being transferred to other languages to different extents, as for example in AOP, MDA, DSL, and so on. This one-day workshop will address the near-future role of Lisp-based languages in research, industry and education. We want to solicit papers and suggestions for breakout groups that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We also want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. Papers ****** Suggested Topics: * Macro programming * Metaprogramming * Reflection * New language features / abstractions * Case studies * Experience reports * Industrial applications * Object-Oriented Programming * Declarative Programming * Aspect-Oriented Programming * Domain-Oriented Programming * Generative Programming * Ambient Intelligence * Unanticipated Software Evolution * Design Patterns * Educational Perspectives Breakout Groups *************** We want to promote to take advantage of meeting other Lispers and Schemers face to face by organizing breakout groups around focused topics. Example topics: Discuss the feature set of the next version of Slime; work on details of the CLRFI process; exchange experiences with various macro systems for Scheme; detail a wishlist for R6RS; compare and enhance curricula for computer science education. And so on. In order to have effective discussions at those breakout groups, we are negotiating meeting rooms for an extra day in addition to the actual workshop with the ECOOP organizers. Submission Guidelines ********************* Potential attendants are expected to submit * either a long paper (10 pages) presenting scientific and/or empirical results about Lisp- and Scheme-based uses or new approaches for software engineering purposes * or a short essay (5 pages) defending a position about where research and practice based on Lisp and Scheme should be heading in the near future * a proposal for a breakout group (1-2 pages) describing the theme, an agenda and/or expected results Submissions should be mailed as PDF to Pascal Costanza (pc(a)p-cos.net) before the submission deadline. Please indicate whether you need an earlier notification of acceptance than the official date.

1 0

[eurolisp] Announcement International Lisp Conference 2005
by Ernst van Waning 29 Mar '05

29 Mar '05

[Please accept our apologies if you receive this message more than once] CALL FOR CONTRIBUTIONS International Lisp Conference 2005 http://www.international-lisp-conference.org Stanford University June 19-22, 2005 Sponsored by: The Association of Lisp Users Symbolic Systems Program, Stanford University General Information: The Association of Lisp Users is pleased to announce that Stanford University will host the next International Lisp Conference between June 19 and 22. ILC 2005 marks the 25th anniversary of the seminal 1980 Lisp conference held at Stanford in August of 1980. This year, the Organizing Committee of ILC 2005 is encouraging submissions in the particular areas of: functional language design and implementation, mathematical and scientific computing, artificial intelligence, data mining, business intelligence, bioinformatics, telecommunications and networking, the semantic web, music, and entertainment technologies. Further details are available at the conference web site. General correspondence on ILC 2005 may be sent to ilc2005(a)alu.org. Technical Program: Original submissions in all areas related to the conference themes are invited for the following categories: papers, exhibits, workshops, tutorials, and panel discussions. The official language of the conference is English. Important Dates: Note well: The submission deadline has been relaxed. Deadline for abstract submissions: April 5, 2005 Author notification: April 25, 2005 Deadline for final paper submission: May 25, 2005 Organizing Committee: Chair: Carl Shapiro (SRI International) Members: Rusty Johnson (ALU) Peter Lindahl (ALU) Contact: ilc05-organizing-committee(a)alu.org Program Committee: Chair: JonL White (ALU) Members: Jans Aasman (Franz, Inc.) John Adams (Space Telescope Science Institute) John Amuedo (Signal Inference Corporation) Kazuyuki Hashimoto (Electronic Arts) Larry Hunter (UCHSC) Nick Levine (Ravenbrook Limited) Christian Queinnec (Universite Paris 6) Nancy Reed (University of Hawaii) Jeff Shrager (Stanford University) Mark Stickel (SRI International) Taiichi Yuasa (Kyoto University) David Wilkins (SRI International) Contact: ilc05-program-committee(a)alu.org

1 0

[eurolisp] [ANN] 2nd European Lisp & Scheme Workshop
by Pascal Costanza 25 Mar '05

25 Mar '05

This is actually a draft announcement. We are still waiting for some information from the ECOOP organizers, and the workshop website isn't online yet (this is mainly my fault). In order not to delay the most important details any further, here is what we already have. A more detailed announcement is to follow soon. +----------------------------------------------------------------------+ | 2nd European Lisp and Scheme Workshop | | July 26 - Glasgow, Scotland - co-located with ECOOP 2005 | +----------------------------------------------------------------------+ ************************************************************************ Important - The workshop will include a keynote by Richard P. Gabriel. (pending) - We are looking for papers & for breakout group proposals! (see below) ************************************************************************ Important Dates: Submission deadline: May 16, 2005 Notification of acceptance: May 27, 2005 ECOOP early registration deadline: pending For more information contact pc(a)p-cos.net Organizers ********** Pascal Costanza, Programming Technology Lab, Vrije Universiteit Brussel Theo D'Hondt, Programming Technology Lab, Vrije Universiteit Brussel Arthur Lemmens, Independent Consultant, Amsterdam Manuel Serrano, INRIA Sophia-Antipolis, France Website: Hans Huebner, Berlin Overview ******** Lisp has a tradition of providing a fruitful basis for language design experiments for many decades. The structure of Lisp, including its current major dialects Common Lisp and Scheme, makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. The Common Lisp Object System (CLOS) was the first object-oriented programming language to receive an ANSI standard. It is, arguably, the most complete and advanced object system of any language. Despite having somewhat disappeared from the radar of popular computer science, Lisp has just started to gain momentum again. There is a steadily growing interest in Lisp as such, with numerous user groups having formed recently worldwide, and Lisp's metaprogramming notions that are being transferred to other languages to different extents, as for example in AOP, MDA, DSL, and so on. This one-day workshop will address the near-future role of Lisp-based languages in research, industry and education. We want to solicit papers and suggestions for breakout groups that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We also want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. Papers ****** Suggested Topics: * Macro programming * Metaprogramming * Reflection * New language features / abstractions * Case studies * Experience reports * Industrial applications * Object-Oriented Programming * Declarative Programming * Aspect-Oriented Programming * Domain-Oriented Programming * Generative Programming * Ambient Intelligence * Unanticipated Software Evolution * Design Patterns * Educational Perspectives Breakout Groups *************** We want to promote to take advantage of meeting other Lispers and Schemers face to face by organizing breakout groups around focused topics. Example topics: Discuss the feature set of the next version of Slime; work on details of the CLRFI process; exchange experiences with various macro systems for Scheme; detail a wishlist for R6RS; compare and enhance curricula for computer science education. And so on. In order to have effective discussions at those breakout groups, we are negotiating meeting rooms for an extra day in addition to the actual workshop with the ECOOP organizers. Submission Guidelines ********************* Potential attendants are expected to submit * either a long paper (10 pages) presenting scientific and/or empirical results about Lisp- and Scheme-based uses or new approaches for software engineering purposes * or a short essay (5 pages) defending a position about where research and practice based on Lisp and Scheme should be heading in the near future * a proposal for a breakout group (1-2 pages) describing the theme, an agenda and/or expected results Submissions should be mailed as PDF to Pascal Costanza (pc(a)p-cos.net) before the submission deadline. Please indicate whether you need an earlier notification of acceptance than the official date.

1 0

Re: [eurolisp] Bigger room for European Common Lisp Meeting
by Hoehle, Joerg-Cyril 20 Mar '05

20 Mar '05

Arthur and Edi, thank you very much for your endured/ing efforts. This time I'm in and no more p.o.'ed -- and will look for room & transports after registration, instead of usually doing it the other way round :). Who will be traveling from the Frankfurt area, and at what time/day? Regards, Jörg Höhle.

3 2

[eurolisp] Publieksdag "Philosophy of Information: The world as a Computer"
by Sebastian Stern 18 Mar '05

18 Mar '05

Hello, I am going to the "Philosophy of Information: The world as a Computer" presentation at the University of Amsterdam, on March 11, 2005. John McCarthy will be there too. If anyone want to join me, you can find more information here: http://www.student.uva.nl/mwijs/object.cfm/objectID=47CA7CBA-242D-4667-9FD98 37543767591 Sebastian Stern

6 5

[eurolisp] Bigger room for European Common Lisp Meeting
by Arthur Lemmens 17 Mar '05

17 Mar '05

Hi, After much deliberation we've decided to switch to a bigger room (in the same building) for the European Common Lisp Meeting in Amsterdam. This room has 20 more seats than the other one. We added the 8 persons who were on the waiting list, and now have 12 places left. This is the third and last time that we switched rooms for this meeting, so if you'd like to participate please register soon at http://weitz.de/meeting Regards, Arthur Lemmens

2 2

[eurolisp] Only 10 places left for European Common Lisp Meeting
by Arthur Lemmens 22 Feb '05

22 Feb '05

Hi, Registrations for the European Common Lisp Meeting in April have come in at an astonishing speed. Eight days after we announced the meeting, we're at 65 registrations. Our meeting room has a capacity of 75 persons, so there are only 10 seats left at the moment. If you don't want to miss the event, you should probably register now (at http://weitz.de/meeting) because it looks like it will only take a couple of days before the meeting is fully booked. Looking forward to meeting you all in Amsterdam, Edi Weitz & Arthur Lemmens

7 15

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

eurolisp