From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: secretary@lxny.org Newsgroups: gmane.emacs.help Subject: NYC LOCAL: Tuesday 14 June 2005 Lisp NYC Meeting: Anton van Straaten on Lisp and the Lambda Calculus Date: 13 Jun 2005 04:14:48 -0400 Organization: LXNY New York's Free Software Organization Message-ID: NNTP-Posting-Host: main.gmane.org X-Trace: sea.gmane.org 1119033497 27744 80.91.229.2 (17 Jun 2005 18:38:17 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 17 Jun 2005 18:38:17 +0000 (UTC) Keywords: available, hackable, freely redistributable source; GPL, BSDL, ArtisticL, XSL Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Jun 13 10:16:53 2005 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1Dhk5V-0006dD-Tf for geh-help-gnu-emacs@m.gmane.org; Mon, 13 Jun 2005 10:14:30 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Dhk8A-0002zR-Md for geh-help-gnu-emacs@m.gmane.org; Mon, 13 Jun 2005 04:17:14 -0400 Original-Path: shelby.stanford.edu!newsfeed.stanford.edu!bloom-beacon.mit.edu!panix!panix5.panix.com!not-for-mail Original-Newsgroups: alt.religion.emacs,comp.lang.lisp,comp.lang.scheme,gnu.emacs.help Original-Followup-To: comp.lang.lisp Original-Lines: 89 Original-NNTP-Posting-Host: panix5.panix.com Original-X-Trace: reader1.panix.com 1118650488 23441 166.84.1.5 (13 Jun 2005 08:14:48 GMT) Original-X-Complaints-To: abuse@panix.com Original-NNTP-Posting-Date: Mon, 13 Jun 2005 08:14:48 +0000 (UTC) Original-Xref: shelby.stanford.edu alt.religion.emacs:8750 comp.lang.lisp:169213 comp.lang.scheme:62094 gnu.emacs.help:131971 Original-To: help-gnu-emacs@gnu.org X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:27523 X-Report-Spam: http://spam.gmane.org/gmane.emacs.help:27523
From: Heow Eide-Goodman To: "lisp@lispnyc.org" Subject: [Lisp] Reminder: Lisp Meeting, June 14th 7:00 at Trinity Please join us for our next meeting on Tuesday, June 14th from 7:00 to 9:00 at Trinity Lutheran Church. In the first installment of the "LispNYC: Best Presentations" Anton van Straaten re-presents "Lisp and the Lambda Calculus": Every Lisp programmer is familiar with the keyword LAMBDA. But what does it really mean, and where does it come from? When John McCarthy invented Lisp in 1958, he borrowed a notation for the representation of functions from a mathematical formalism known as lambda calculus. But although McCarthy borrowed aspects of the syntax of lambda calculus, he didn't quite get the semantics right at first. This led to one of Lisp's most longstanding and famous bugs: the funarg problem, relating to the difficulty of implementing functions as first-class values in a language. This talk takes a wild ride through the history of human thought about logic and computation, through the invention of lambda calculus and the invention of Lisp, the discovery of the funarg problem, its ultimate solution in the lambda calculus, and the adoption of that solution by Lisp and Scheme. Along the way, the lambda calculus will be explained and interactively demonstrated, in breathtaking clarity, using real code, showing the foundations of the basic logical constructs for which Lisp is famous. This is a must-see for both Lisp aficionados as well as anyone with an interest in programming language history. Knowledge of Lisp is helpful, but not necessary. Anton van Straaten is a software developer and consultant with a strong interest in the design and development of programming languages. His experience ranges from the development of successful programmer tools, to complex financial services applications. He has presented at MIT's Lightweight Languages Conference and the International Lisp Conference. His work on programmer tools and interest in languages has led him to study the formal foundations of programming languages. As part of this study, Anton developed SchemeDS (http://www.appsolutions.com/SchemeDS/), an executable version of the formal semantics of the Scheme language, the only such implementation publicly available. Directions to Trinity: Trinity Lutheran 602 E. 9th St. & Ave B., on Thomkins Square Park http://trinitylowereastside.org/ From N,R,Q,W (8th Street NYU Stop) and the 4,5 (Astor Street Stop): Walk East 4 blocks on St. Marks, cross Thomkins Square Park. From F&V (2nd Ave Stop): Walk E one or two blocks, turn north for 8 short blocks From L (1st Ave Stop): Walk E one block, turn sounth for 5 short blocks The M9 bus line drops you off at the doorstep and the M15 is near get off on St. Marks & 1st) To get there by car, take the FDR (East River Drive) to Houston then go NW till you're at 9th & B. Week-night parking isn't bad at all, but if you're paranoid about your Caddy or in a hurry, there is a parking garage on 9th between 1st and 3rd Ave. _______________________________________________ Lisp mailing list Lisp@lispnyc.org http://www.lispnyc.org/mailman/listinfo.cgi/lisp
Distributed poC TINC: Jay Sulzberger Corresponding Secretary LXNY LXNY is New York's Free Computing Organization. http://www.lxny.org