X-Apparently-To: qpliu@yahoo.com via web21411.mail.yahoo.com; 06 Apr 2002 16:56:30 -0800 (PST) X-Track: 1: 100 Return-Path: Received: from sange.fi (EHLO oiva.sange.fi) (195.170.158.190) by mta443.mail.yahoo.com with SMTP; 06 Apr 2002 16:56:28 -0800 (PST) Received: from localhost ([127.0.0.1] helo=oiva.sange.fi) by oiva.sange.fi with esmtp (Exim 3.33 #1) id 16u0oH-00060M-00; Sun, 07 Apr 2002 03:45:33 +0300 Received: with LISTAR (v0.129a; list lang); Sun, 07 Apr 2002 03:45:27 +0300 (EEST) Received: from dark.darkweb.com ([216.163.74.170]) by oiva.sange.fi with esmtp (Exim 3.33 #1) id 16u0oA-00060G-00 for lang@esoteric.sange.fi; Sun, 07 Apr 2002 03:45:26 +0300 Received: from localhost (benrg@localhost) by dark.darkweb.com (8.9.3/8.9.3) with ESMTP id QAA16640 for ; Sat, 6 Apr 2002 16:44:39 -0800 Date: Sat, 6 Apr 2002 16:44:39 -0800 (PST) From: Ben Rudiak-Gould To: lang@esoteric.sange.fi Subject: [lang] Re: Laziness in conser: will it work? In-Reply-To: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-listar-version: Listar v0.129a Sender: lang-bounce@esoteric.sange.fi Errors-to: lang-bounce@esoteric.sange.fi X-original-sender: benrg@dark.darkweb.com Precedence: bulk Reply-to: lang@esoteric.sange.fi X-list: lang Content-Length: 544 I wrote: > Lazy I/O also sounds like a good idea, and it certainly is possible with > lazy lists. Unfortunately, I don't think it will work when the whole input > or output is stored as a fractional surreal number... Sorry, I didn't notice that Liu has anticipated my objection and proposed a lazy list representation on the web site. As long as we're abandoning surreal numbers, here's another possibility: - If the car is nonempty and the cdr is empty, the first bit is 0 and the remaining bits are in the car. - If the car is empty and the cdr is nonempty, the first bit is 1 and the remaining bits are in the cdr. - If both the car and cdr are empty, there are no more bits. Then "Hello world!" is ((,(((,(((((,(,(((,((,((,(,((,(,((((,(,((,(,((((, (,((,(,(,(,(((,(((((((,(,(,((,(,(,((,(,((,(,(,(,((,(,(,(((,(((,(,((,(,(( ((,(,(((,(((((,(((((,(((((,(,((,(((((,((,(,)),)),),),),)),))),),),),)),) ,),),)),),),),)),),))),),),))),))),),)),),)))),))))),))),)))),)))),),),) ,),),)),),))))),))),),),))),))),),),))),))),)),)),),))),),),),)),),)),). Has a nice symmetry to it, though it's hard to write without computer assistance. -- Ben