[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: John Cowan <cowan@xxxxxxxxxxxxxxxx>*Subject*: Re: revised w/nocase text, considering titlecase and cased*From*: Alex Shinn <alexshinn@xxxxxxxxx>*Date*: Sat, 10 May 2014 10:09:33 +0900*Cc*: SRFI-115 discussion list <srfi-115@xxxxxxxxxxxxxxxxx>*Delivered-to*: srfi-115@xxxxxxxxxxxxxxxxx*Dkim-signature*: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=LxCRmBsdQwpcKWe0Fi9Tjyis/Q8Tq1DLPEheN83CdGw=; b=nu6q66hnk7WooOq0Jw3+XWf0+UUR9427v9NyofUniEne5PRTzYb5CVDqX9+fe79Val tADN9W5Ssb63aL+uOvBTO40lvUJKhCLJWef0KMnUQOAfbrMDHyvriw6H8L55Zkqj2nSD 2fJ6g/R+gW48Se8Vh0I/D10cYokYwLTxlSqb3K+ajCV/sFiPPUVBtuV/rfw40Ji++9vC atJOAyfTANyOR/IEhIs0yiFhEClj0QDgL7xmyJELAT4nsIVkC1tLMllu6vLM026RMpOg efIedcRl1Rk0kHq8GIvWDZ23kdlpTxvWK1Eugg75cJyELAraRLk5zIiT/1498fXuLaxD SUyw==*In-reply-to*: <20140510004929.GV32663@mercury.ccil.org>*References*: <CAMMPzYMg4wp2R9PetSGy+aF7TUJPWevkei8yLtrkZSt3NG=3SQ@mail.gmail.com> <20140509215947.GT32663@mercury.ccil.org> <CAMMPzYNFV-q9510W3nEa1ukrXpP8HObRH6XGmdnMf8UbpfF3aQ@mail.gmail.com> <20140510004929.GV32663@mercury.ccil.org>

On Sat, May 10, 2014 at 9:49 AM, John Cowan <cowan@xxxxxxxxxxxxxxxx> wrote:

I think it was the correct decision. There are no mathematical contexts

in which you want to treat italic f and italic F as the same thing; the

distinction is always meaningful. Consider the formula for the area of

a trapezoid, A = (B + b)h/2, where B and b are the two bases.

That's the exception. It's much more common for a relation to

exist between the two cases, such as elements x of a set X,

or the elements a_i_j of a matrix A, etc. That's like arguing

p and P should not map to each other because polish and

Polish are different.

But if you decide they should _not_ have case mappings, then

you're treating them strictly as symbols, and giving them case

properties is inconsistent. It should be one or the other.

--

Alex

**Follow-Ups**:**Re: revised w/nocase text, considering titlecase and cased***From:*John Cowan

**References**:**revised w/nocase text, considering titlecase and cased***From:*Alex Shinn

**Re: revised w/nocase text, considering titlecase and cased***From:*John Cowan

**Re: revised w/nocase text, considering titlecase and cased***From:*Alex Shinn

**Re: revised w/nocase text, considering titlecase and cased***From:*John Cowan

- Prev by Date:
**Re: revised w/nocase text, considering titlecase and cased** - Next by Date:
**Re: revised w/nocase text, considering titlecase and cased** - Previous by thread:
**Re: revised w/nocase text, considering titlecase and cased** - Next by thread:
**Re: revised w/nocase text, considering titlecase and cased** - Index(es):