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

    Source: geocities.com/qpliu/conser

               ( geocities.com/qpliu)