Received: by 10.66.81.74 with SMTP id y10mr1376836pax.17.1348796932969;
        Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
X-BeenThere: scala-melb@googlegroups.com
Received: by 10.68.237.161 with SMTP id vd1ls12216997pbc.3.gmail; Thu, 27 Sep
 2012 18:48:52 -0700 (PDT)
Received: by 10.66.86.102 with SMTP id o6mr1798106paz.41.1348796932607;
        Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
Received: by 10.66.86.102 with SMTP id o6mr1798105paz.41.1348796932596;
        Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
Return-Path: <tonymor...@gmail.com>
Received: from mail-pb0-f42.google.com (mail-pb0-f42.google.com [209.85.160.42])
        by gmr-mx.google.com with ESMTPS id vw9si1994135pbc.2.2012.09.27.18.48.52
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
Received-SPF: pass (google.com: domain of tonymor...@gmail.com designates 209.85.160.42 as permitted sender) client-ip=209.85.160.42;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of tonymor...@gmail.com designates 209.85.160.42 as permitted sender) smtp.mail=tonymor...@gmail.com; dkim=pass header...@gmail.com
Received: by pbbro2 with SMTP id ro2so4578559pbb.29
        for <scala-melb@googlegroups.com>; Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:reply-to:user-agent:mime-version:to:subject
         :references:in-reply-to:x-enigmail-version:content-type
         :content-transfer-encoding;
        bh=I/fjIrgkPxFQ8FSS+VNEV42BRb6ZW/LRhVjBD8WXLjE=;
        b=FWReeBgVmdTATodgJ4qy1yTt6rhAJx3F2N4vOs5S0MrQvdZCJL9ydBfWjAkZHGUEpj
         QJZ8og+1kvihjGrRjnyshCIB1oQJfkB5JkMcEdafjHy5sy6WUbanQa/uGuuo27yjGjFS
         fKHIbva3xWWpdF9acmIB92g3+0UD/AjbXDkepTV86R4LKUI4J7BrMGbMAobWY23SXL4E
         Uxn/fmKTi24eT7MTzGC7p9p+ZKQgVW/EJO52BoPC95g22GRdj4SjpSPQ5B+Q4vBtG7US
         FPH5AmmdeFLr03ffTyfsbqZMnDiooIdSBXbld2c5NUZK0NIB8dH3SuMbcpLsB7lrqb5a
         mUcA==
Received: by 10.66.89.37 with SMTP id bl5mr13890290pab.55.1348796932478;
        Thu, 27 Sep 2012 18:48:52 -0700 (PDT)
Return-Path: <tonymor...@gmail.com>
Received: from [10.1.3.40] ([59.167.150.66])
        by mx.google.com with ESMTPS id qf4sm4727524pbc.1.2012.09.27.18.48.50
        (version=SSLv3 cipher=OTHER);
        Thu, 27 Sep 2012 18:48:51 -0700 (PDT)
Message-ID: <50650200.4010...@gmail.com>
Date: Fri, 28 Sep 2012 11:48:48 +1000
From: Tony Morris <tonymor...@gmail.com>
Reply-To: tmor...@tmorris.net
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.28) Gecko/20120313 Thunderbird/3.1.20
MIME-Version: 1.0
To: scala-melb@googlegroups.com
Subject: Re: Coursera Functional Programming Principles in Scala
References: <CABEgq974cx8_9v+BWaT6WzpR-19YnexB9rJ063wF4Z6iCjo...@mail.gmail.com>	<CAMXp9VsK8pKMS+fC1MVfY4oo81NXPUH3Bpfhk1e-JPCvQZ_...@mail.gmail.com>	<CABEgq94v+MBaR6YV_o2UqOfzH+EWC=Pyo-1+d+RXtr3Rbfp...@mail.gmail.com>	<5064F63A.5040...@gmail.com> <CAD0r2UwA=mEw4PNpBLuBzKg6emhY8GVhxSVbryrP5iM0o_P...@mail.gmail.com>
In-Reply-To: <CAD0r2UwA=mEw4PNpBLuBzKg6emhY8GVhxSVbryrP5iM0o_P...@mail.gmail.com>
X-Enigmail-Version: 1.1.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

On 28/09/12 11:20, Ken Scambler wrote:
> ...except that knowing what value the number is will take effort
> proportional to the size of the number, at least for List.  Which is
> fine if we're just checking for empty/non-empty, but the trivial step
> of knowing how many excess parentheses there are becomes unacceptably
> expensive.  So I'm not sure the extra type-safety pays for itself here
> either.
This is not required to solve the problem. Only cons/tail is required.

-- 
Tony Morris
http://tmorris.net/