From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Latest suggestion for 202x
Date: Sun, 23 Jun 2019 22:40:00 -0700
Organization: A noiseless patient Spider
Message-ID: <87imsv4k3z.fsf@nightsong.com>
References: <86h88obeu0.fsf@gaheris.avalon.lan>
	<39e749cd-de5c-44fa-b8ec-50d36f3bd52c@googlegroups.com>
	<qe8b41$pji$1@gioia.aioe.org> <lnef3rnb8d.fsf@kst-u.example.com>
	<qeh0sh$3rd$1@franka.jacob-sparre.dk> <qei8ps$nec$1@gioia.aioe.org>
	<lnd0j6kdsl.fsf@kst-u.example.com> <qej8gm$1b40$1@gioia.aioe.org>
	<ln8stuk7pu.fsf@kst-u.example.com> <qekjbb$vu0$1@gioia.aioe.org>
	<lnr27likgv.fsf@kst-u.example.com>
	<e81c87e1-8090-45e4-892b-ea62585f4a38@googlegroups.com>
	<ehdvgepli93bqfiisllgca27350n3nledo@4ax.com>
	<qeplr0$bk1$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="21b70af8bea8c2eabeed59ee08d01dc2";
	logging-data="17969"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+kb/JakZaBqJjgEGvIwA3P"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:zbNX4F9WbM73BV/CRr2B0328MQc=
	sha1:hULTAmWZBesEp5DueKIC0jGj3tM=
Xref: reader01.eternal-september.org comp.lang.ada:56727
Date: 2019-06-23T22:40:00-07:00
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> writes:
> Case sensitivity brings nothing but confusion.  The principle for any
> decent language is that if two identifiers mean the same thing in the
> brain of the reader, then they must correspond to the same entity. And
> the meaning of a word is not changed by casing.

I don't find this in Haskell.  The names of types and of data
constructors begin with upper-case letters, and the names of ordinary
variables begin with lower-case letters.  So you could have

   string = "hello"

and that is separate from the type String.  That might not be great
style but the language lets you tell the two apart.