From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: questions on input/output
Date: Sat, 06 Feb 2021 10:10:31 -0800
Organization: A noiseless patient Spider
Message-ID: <87tuqpm5ig.fsf@nightsong.com>
References: <fb923aff-5068-45a9-a714-ea7df45d8437n@googlegroups.com>
	<rvlnu2$1mfo$1@gioia.aioe.org>
	<b5961929-db4d-4228-bedd-58ddd0b0d108n@googlegroups.com>
	<92ef81c7-65d8-411f-97c7-7bfcc27213e1n@googlegroups.com>
	<3401b745-e012-485a-905d-1389189d6ec6n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="510b0143bbd5768464179c7bd29567dd";
	logging-data="25584"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX198+GSlQBuIpOaHzVmmy9oP"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
Cancel-Lock: sha1:1ACGZVJmvbFr4FH0YCQO3y32Re4=
	sha1:LmF+dV45OQVWyekYyy+2JkGOj/A=
Xref: reader02.eternal-september.org comp.lang.ada:61301
List-Id: <comp.lang.ada>

Mehdi Saada <00120260a@gmail.com> writes:
> Proving things should come at last.

Why do you want to use Ada (instead of, say, Python) if you don't like
proving things?

It seems to me, you might add a book about logic (proof systems etc.) to
your reading.  I don't know what to recommend.  I used "A Mathematical
Introduction to Logic" by H. B. Enderton and I liked it, but I think it
is not ideal for your purposes.  Maybe someone else has a suggestion.

If nothing else, understanding what proofs really are might make you
more comfortable with them.