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

This page is part of the web mail archives of SRFI 115 from before July 7th, 2015. The new archives for SRFI 115 contain all messages, not just those from before July 7th, 2015.

*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):