December 2006 - chicago-lisp@common-lisp.net

[chicago-lisp] Second Call for Papers: TFP 2007, New York, USA
by TFP 2007 31 Dec '06

31 Dec '06

CALL FOR PAPERS Trends in Functional Programming 2007 New York, USA April 2-4, 2007 http://cs.shu.edu/tfp2007/ The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming languages, focusing on providing a broad view of current and future trends in Functional Programming. It aspires to be a lively environment for presenting the latest research results through acceptance by extended abstracts. A formal post-symposium refereeing process then selects the best articles presented at the symposium for publication in a high-profile volume. TFP 2007 is co-hosted by Seton Hall University and The City College of New York (CCNY) and will be held in New York, USA, April 2-4, 2007 at the CCNY campus. The TFP symposium is the successor to the successful series of Scottish Functional Programming Workshops. Previous TFP symposia were held in Edinburgh, Scotland in 2003 (co-located with IFL), in Munich, Germany in 2004, in Tallinn, Estonia in 2005 (co-located with ICFP and GPCE), and in Nottingham, UK in 2006 (co-located with Types). For further general information about TFP please see the TFP homepage at http://cs.shu.edu/tfp2007/ . SCOPE OF THE SYMPOSIUM The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles leading-edge, previously unpublished research work Position Articles on what new trends should or should not be Project Articles descriptions of recently started new projects Evaluation Articles what lessons can be drawn from a finished project Overview Articles summarizing work with respect to a trendy subject Articles must be original and not submitted for simultaneous publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or more experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Articles on the following subject areas are particularly welcomed: o Dependently Typed Functional Programming o Validation and Verification of Functional Programs o Debugging for Functional Languages o Functional Programming and Security o Functional Programming and Mobility o Functional Programming to Animate/Prototype/Implement Systems from Formal or Semi-Formal Specifications o Functional Languages for Telecommunications Applications o Functional Languages for Embedded Systems o Functional Programming Applied to Global Computing o Functional GRIDs o Functional Programming Ideas in Imperative or Object-Oriented Settings (and the converse) o Interoperability with Imperative Programming Languages o Novel Memory Management Techniques o Parallel/Concurrent Functional Languages o Program Transformation Techniques o Empirical Performance Studies o Abstract/Virtual Machines and Compilers for Functional Languages o New Implementation Strategies o any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2007 program chair, Marco T. Morazan, at tfp2007(a)shu.edu. BEST STUDENT PAPER AWARD TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A prize for the best student paper is awarded each year. SUBMISSION AND DRAFT PROCEEDINGS Acceptance of articles for presentation at the symposium is based on the review of extended abstracts (6 to 10 pages in length) by the program committee. Accepted abstracts are to be completed to full papers before the symposium for publication in the draft proceedings and on-line. The submission must clearly indicate to which category it belongs to: research, position, project, evaluation, or overview paper. It should also indicate whether the main author or authors are research students. Formatting details can be found at the TFP 2007 website. Submission procedures will be posted on the TFP 2007 website as the submission deadline is reached. The papers in the draft proceedings will also be made available on-line under the following conditions, with which all authors are asked to agree: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. POST-SYMPOSIUM REFEREEING AND PUBLICATION In addition to the draft symposium proceedings, we intend to continue the TFP tradition of publishing a high-quality subset of contributions in the Intellect series on Trends in Functional Programming. All TFP authors will be invited to submit revised papers after the symposium. These will be refereed using normal conference standards and a subset of the best papers, over all categories, will be selected for publication. Papers will be judged on their contribution to the research area with appropriate criteria applied to each category of paper. Student papers will be given extra feedback by the Program Committee in order to assist those unfamiliar with the publication process. IMPORTANT DATES Abstract Submission: February 1, 2007 Notification of Acceptance: February 20, 2007 Registration Deadline: March 2, 2007 Camera Ready Full Paper Due: March 9, 2007 TFP Symposium: April 2-4, 2007 PROGRAMME COMMITTEE John Clements California Polytechnic State University, USA Marko van Eekelen Radboud Universiteit Nijmegen, The Netherlands Benjamin Goldberg New York University, USA Kevin Hammond University of St. Andrews, UK Patricia Johann Rutgers University, USA Hans-Wolfgang Loidl Ludwig-Maximilians Universität München, Germany Rita Loogen Philipps-Universität Marburg, Germany Greg Michaelson Heriot-Watt University, UK Marco T. Morazán (Chair) Seton Hall University, USA Henrik Nilsson University of Nottingham, UK Chris Okasaki United States Military Academy at West Point, USA Rex Page University of Oklahoma, USA Ricardo Pena Universidad Complutense de Madrid, Spain Benjamin C. Pierce University of Pennsylvania, USA John Reppy University of Chicago, USA Ulrik P. Schultz University of Southern Denmark, Denmark Clara Segura Universidad Complutense de Madrid, Spain Jocelyn Sérot Université Blaise Pascal, France Zhong Shao Yale University, USA Olin Shivers Georgia Institute of Technology, USA Phil Trinder Heriot-Watt University, UK David Walker Princeton University, USA ORGANIZATION Symposium Chair: Henrik Nilsson, University of Nottingham, UK Programme Chair: Marco T. Morazan, Seton Hall University, USA Treasurer: Greg Michaelson, Heriot-Watt University, UK Local Arrangements: Marco T. Morazan, Seton Hall University, USA SPONSORS The Department of Mathematics and Computer Science, Seton Hall University The Department of Computer Science, The City College of New York The Center for Algorithms and Interactive Scientific Software of The City College of New York The Grove School of Engineering of The City College of New York We are actively looking for additional TFP sponsors, who may, for example, help to subsidise attendance by research students. If you or your organisation might be willing to sponsor TFP, or if you know someone who might be willing to do so, please do not hesitate to contact the Program Chair, Marco T. Morazan, or the Symposium Chair, Henrik Nilsson. Your students will be grateful! ************************************************************************************ Dr. Marco T. Morazan TFP 2007 Program Committee Chair http://cs.shu.edu/tfp2007/

1 0

[chicago-lisp] announcement for next meeting?
by Corey Sweeney 14 Dec '06

14 Dec '06

We have a meeting comming up on the 16th i think. Is there gonna be a announcement, with some kind of link? (I want to copy the announcement to another mailing list after it gets sent) Corey -- ((lambda (y) (y y)) (lambda (y) (y y)))

2 1

[chicago-lisp] Vote: Our group's name
by John Quigley 13 Dec '06

13 Dec '06

Okay, to move things along, let's take a vote for our group's name. These are the candidates: * Chicago Lispniks * Chicago Lithpers * Chicago Artificial Intelligence Group * Chicago Area Programming Languages Group (Chicago APL Group) * Chicago Area Many Languages Group (CAML Group) * Chicago Lispy Group * Chicago Functional Language Group * Chicago Lispits * Chicago LISPers and Friends * Chicago Area LISPies et al * Chicago LISPit * Chicago Lisp and Programming Language Group (ChiLPL - "chill pill") Please follow up in this thread with a blank response except for one of the above names. If you have thoughts, concerns, issues, please start another thread. Thanks! - John Quigley

7 14

[chicago-lisp] Aha! moments in LISP
by David Douthitt 12 Dec '06

12 Dec '06

A Smalltalker (another *great* language) who enjoys LISP almost as much took note of a thread about Aha! moments in LISP. Check out what he has to say and the thread itself: http://onsmalltalk.com/programming/smalltalk/aha-moments-in-lisp/

1 1

[chicago-lisp] Something I've noticed....
by David Douthitt 11 Dec '06

11 Dec '06

I've noticed in recent years that my favorite (three) languages share some things in common: * None of them are "mainstream" or "standard" (which, for those who know history, basically means: not *Algol* based) * All of them work within their own "image" or environment. * The idea of a "stand-alone executable" is a anethema and an alien concept. * All of them encourage "rapid prototyping" * All of them encourage programming "from the bottom up" * All of them strongly encourage "small" programming units. * And: all three of them incorporate totally different programming models :-) What three are they? LISP (of course)..... and FORTH, and Smalltalk. I didn't put all these factors together until about a year ago. So: what are *your* favorite concepts in LISP (and other languages)? I might add I'm a real fan of OOP, so I'm bound to learn CLOS sooner or later.... -- David Douthitt HP-UX, Solaris, Unixware, Linux, FreeBSD RHCE, SCSA, Linux+, LPIC-1 http://www.lulu.com/ssrat

1 0

[chicago-lisp] [Fwd: [ANNOUNCE] PL/scheme 0.9 Released]
by David Douthitt 11 Dec '06

11 Dec '06

Thought this might be of interest - add another program enhanced by Scheme... -------- Original Message -------- Date: Sun, 10 Dec 2006 00:31:20 +0200 From: Volkan YAZICI <yazicivo(a)ttnet.net.tr> To: pgsql-announce(a)postgresql.org Subject: [ANNOUNCE] PL/scheme 0.9 Released Message-ID: <20061209223119.GA1338@alamut> Freelance Incorporation is pleased to announce the PL/scheme 0.9, the first initial release of the Scheme procedural language handler for PostgreSQL. PL/scheme is a PostgreSQL procedural language handler for Scheme programming language released under BSD license. PL/scheme uses Guile in the background as its Scheme interpreter. You can find some of the supported features by PL/scheme in the below list. o. Extensible native type support even for not created yet SQL data types. Domain, complex (ie. table's row) and pseudo (record) types are supported as well. o. [Nested] record and row types are supported both when returning a record type and as an argument to the procedure, o. IN, INOUT and OUT argument mode functionality, o. SPI functionality, o. Trigger support, o. Caching for non-volatile (and non-SRF) procedures per [top] transaction, o. Globally shared variables support, o. Support for both trusted and untrusted PL modes, o. and any available feature supported by Guile (fully R5RS compliancy, module system extension, full access to POSIX system calls, networking support, multiple threads, dynamic linking, foreign function call interface, powerful string processing, GOOPS framework, lots of builtin SRFIs and may others) are naturally shipped with PL/scheme too. You can find more information about the project and installation in the website at http://plscheme.projects.postgresql.org/ There's also an extensive WYSIWYG documentation about the shipped features along PL/scheme. PL/scheme is evolved from the PL/parrot ideas of David Fetter, therefore so much thanks to him for his inspiration. Also, many thanks to Rob Browning, Ludovic Courtès and Dale P. Smith from #guile at irc.freenode.net for their kindly help. Regards.

1 0

[chicago-lisp] experience using LAML?
by Vinay Doma 11 Dec '06

11 Dec '06

Have any of you guys used LAML(http://www.cs.auc.dk/~normark/laml/) to generate and maintain web content? Lisp/Scheme generally seems well suited to generate html markup, but I was wondering how this compares to other web scripting toolkits. Also what other good alternatives are there in the lisp world? Thanks, Vinay

2 1

[chicago-lisp] What lisp based applications do people use?
by Corey Sweeney 11 Dec '06

11 Dec '06

Hey, I was wondering, what lisp extensible applications do people use? Ones that I use, that I can think of right away are: text editor - emacs - (uses emacs lisp) WYSIWYG editor - texmacs - (uses scheme) ("guile") paint program - the gimp - (uses scheme) ("siod" i think) I've been screwing around with (but not actually properly "using") gnotime a time tracking application I don't actively use these next ones anymore, but used to use them: sawmill window manager (now called sawfish?) -- when netscape didn't have the ability to fill in forms automatically for me, sawmill could :) and siag office too, but siag office is no longer included in distributions. What other lisp extensible apps does everyone use? Corey -- ((lambda (y) (y y)) (lambda (y) (y y)))

6 5

Re: [chicago-lisp] What lisp based applications do people use?
by Andrew Wolven 11 Dec '06

11 Dec '06

--- Corey Sweeney <corey.sweeney(a)gmail.com> wrote: > Hmm, could you mention what Mirai is? lol From > what your saying I'm > guessing it's really expensive cad software. Hrm. Oh Yeah, Mirai is the next phase in the life of the Symbolics S-Packages. It's own company now, I guess run by Larry Malone. The symbolics s-packages were and still are cutting edge animation software. Mirai has been reportedly used in movies like the lord of the rings, and is a secret weapon among certain animators. It's animation software. Not CAD software. But Allegro is my CAD software And miria is allegro with the best Graphics software available in Lisp. It's a no brainer combination. You could Load maxima into the world and plot things. Plotting wouldn't be simple, but it would be a lot easier than if you are doing it with C++. I could go on an on about it. It's making me want to get it out and try to debug things. I have one evening and two more days of college left. I have been writing reports for days now, on two programs for my classes. I'm coming down to the wire and I am very close to finishing, but I am experiencing block after working on it straight for so long. I could spend years working with Mirai, it's just such a wonderful graphical colorful animated place to work on engineering. But there is no support. back to work... AKW P.S. I was being overly dramatic in my last email. Really. > > Corey > > On 12/10/06, Andrew Wolven <awolven(a)yahoo.com> > wrote: > > > > I haven't read the thread but I will answer the > > question... or...would use if the company were not > so > > vaporous. > > > > Mirai. I have Allegro 5.0.1 based Mirai. > > Unfortunately it breaks down alot on windows XP. > The > > most fun part...the renderer. They had gotten rid > of > > the lisp renderer because when they first ported > to > > allegro it was too slow, and some dumb thing, > dealing > > with the shell call is causing "nil is not the > > expected type, numuber". I am sure if I decided > to > > get really down to it I could patch the damn thing > > myself, but then there is the fact that the > > nodelicense, which is based on an ethernet mac > > address, only works on this laptop when the > wireless > > or is connected. Perhaps I would ask them if they > > could cut a license for the cat 5 ethernet > adapter, > > but it was so friggen hard just to get my license > > updated in the first place, i'm afraid to bother > them. > > > > AFAIK they are probably either A. doing nothing, > or B. > > rewriting mirai in C++. Probably B. Either case > the > > Izware people are a perfect example of the classic > > failures of major lisp based applications. It is > so > > friggen sad it's heartbreaking. The platform is > > essentitially totally bitchen and ripe for insane > > development. [CAD person here] It has a really > nice > > gui. HI: Human Interface (you start it by saying > > (hi:say-hi). You could link in SMLIB and write a > > constraint engine and develop your own friggen > > proengineer or autodesk inventor with a few measly > > dozen million or so. All in lisp. Integrated > > Knowledge-Based Engineering. Anything you want. > Web > > deployment, sound, anything that you can run in > > allegro...plus all the animation simulation stuff > > possible from mirai and a solid modeler. > > > > THE ULTIMATE QUESTION IS! Why did it fail! It > failed > > because the Lisp Machine failed and they just > couldn't > > keep up in a C world. > > > > I would cry myself to sleep but I still have work > to > > do. > > > > ;) AKW > > > > --- Damien Kick <dkixk(a)earthlink.net> wrote: > > > > > On Dec 9, 2006, at 16:28, Corey Sweeney wrote: > > > > > > > Hey, I was wondering, what lisp extensible > > > applications do people use? > > > > > > > > Ones that I use, that I can think of right > away > > > are: > > > > text editor - emacs - > (uses > > > emacs lisp) > > > > > > Yeah, GNU Emacs or XEmacs and SLIME. > > > > > > > What other lisp extensible apps does everyone > use? > > > > > > I have used Edi Wietz's Regex Coach, actually, > to > > > help me debug > > > complicated regular expressions. It is actually > > > really cool to use > > > it for that. If one doesn't understand why a > > > particular regular > > > expression isn't matching in a way that one > expects, > > > one can just > > > start typing the regular expression, and watch > as > > > what does match is > > > highlighted. As soon as things are no longer > being > > > highlighted as > > > one wants, it's usually pretty obvious what went > > > wrong. But Regex > > > Coach isn't extensible, so that doesn't really > > > count, I suppose. > > > > > > I personally tend to use lisp mostly as a > > > programming language. As > > > most of the time I spend coding is devoted to > work, > > > and the product > > > on which I work doesn't use lisp, I don't get to > > > spend a whole lot of > > > time programming in lisp. However, I do find > > > excuses to use it. For > > > example, I have recently written a very > simplistic > > > telnet-stream and > > > my own anemic version (but it does do what I > need to > > > get done) of Don > > > Libe's Expect (because I don't much like Tcl) to > > > automate remote > > > software installations. > > > _______________________________________________ > > > chicago-lisp site list > > > chicago-lisp(a)common-lisp.net > > > > http://common-lisp.net/mailman/listinfo/chicago-lisp > > > > > > > _______________________________________________ > > chicago-lisp site list > > chicago-lisp(a)common-lisp.net > > > http://common-lisp.net/mailman/listinfo/chicago-lisp > > > > > > -- > ((lambda (y) (y y)) (lambda (y) (y y))) >

1 0

[chicago-lisp] Project 1: Website
by John Quigley 09 Dec '06

09 Dec '06

I think we're all on the same page that our first project should be setting up a collaboration server where we can develop a group website with Lisp on the back-end. If this doesn't jibe with you, speak now or forever hold your peace. This will probably be a relatively quick project, just to get us off on the right foot. I had a look at Portable AllegroServe, and it looks sexy. I'm voting we develop to this. This is a potentially highly contentious decision, so let's see where other people stand. We haven't heard from Peter (our in-house web developer and possible source of free hosting). I'd prefer a Linux environment, but could settle for a BSD if that were more convenient. What are you all used to? We are looking for free hosting. If anyone besides Peter has contacts or resources, please hook us up. I'd be interested in garnering some commercial support, as well. My company (Cleversafe), has helped the LUG a great deal, and will probably be willing to get us going, as well. - John Quigley

4 4