From ... Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uio.no!nntp.uio.no!ifi.uio.no!not-for-mail From: Erik Naggum Newsgroups: comp.lang.lisp Subject: Re: Trivial feature expressions Date: 24 Aug 2002 05:10:02 +0000 Organization: Naggum Software, Oslo, Norway Lines: 19 Message-ID: <3239154602320772@naggum.no> References: <3D655868.BFE4C243@cs.cmu.edu> <87u1lmqiaw.fsf@Astalo.y2000.kon.iki.fi> <3D660F51.3BEE3D56@dls.net> <2h7kihbthm.fsf@vserver.cs.uit.no> <3239103726620473@naggum.no> <1fhdeaa.1qnxuy0mxe0uN%michael@bcect.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: maud.ifi.uio.no 1030165802 4530 129.240.64.16 (24 Aug 2002 05:10:02 GMT) X-Complaints-To: abuse@ifi.uio.no NNTP-Posting-Date: 24 Aug 2002 05:10:02 GMT Mail-Copies-To: never User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Xref: archiver1.google.com comp.lang.lisp:38657 * Michael Sullivan | Is this is the spec, or is there some mathematical basis/use that I'm | missing? I guess the latter. I have talked about this with a few people (irc) and unmathematical people do not even understand that (+) => 0 and (*) => 1. The spec is quite clear that `and´, `or´ and a few other obvious identity candicates return their identity value. That is, (operator argument) is identical to (operator (operator) argument), which has as a corrollary precisely that (operator argument) is identical to argument. This is very sound mathematically. That there are such hidden gems in Common Lisp delight me just as much as grokking some mathematical concept. -- Erik Naggum, Oslo, Norway Act from reason, and failure makes you rethink and study harder. Act from faith, and failure makes you blame someone and push harder.