On 1/13/19 10:00 PM, Martin J. Dürst via Unicode wrote:
> On 2019/01/14 01:46, Julian Bradfield via Unicode wrote:
>> On 2019-01-12, Richard Wordingham via Unicode <unicode_at_unicode.org> wrote:
>>> On Sat, 12 Jan 2019 10:57:26 +0000 (GMT)
>>> And what happens when you capitalise a word for emphasis or to begin a
>>> sentence? Is it no longer the same word?
>> Indeed. As has been observed up-thread, the casing idea is a dumb one!
>> We are, however, stuck with it because of legacy encoding transported
>> into Unicode. We aren't stuck with encoding fonts into Unicode.
> No, the casing idea isn't actually a dumb one.
Well, for me, when I say or said that the "casing idea" is a dumb one, I
don't mean how Unicode handled it. Unicode is quite correct in encoding
capitals distinctly from lowercase, both for computer-historical reasons
and others you mention. I think the idea of having case in alphabets
_in the first place_ was a bad move. It's a "mistake" that happened
centuries ago.
~mark
Received on Mon Jan 14 2019 - 20:04:02 CST
This archive was generated by hypermail 2.2.0 : Mon Jan 14 2019 - 20:04:03 CST