From: "Stéphane Rivière" <stef@genesix.fr>
Subject: Re: Ada syntax questions
Date: Tue, 22 Dec 2020 11:05:10 +0100 [thread overview]
Message-ID: <rrsgcl$15df$1@gioia.aioe.org> (raw)
In-Reply-To: bfaef8db-8f57-4a06-b2b4-be091bbfbd11n@googlegroups.com
> Ada's inexpressiveness of imprecision of vagueness of misrepresenting design intent in this regard (of inability to .../...
Thanks for your message. It makes my day. I'm not fluent as you in
english, nor in Ada concepts (I just use it with joy), but let me
express my admiration for assertions such as :
---
Assembly language and Ada have the same inability to overtly express and
enforce a declaration of FP-purity.
---
Although this thought also plunges me into an abyss of reflection.
---
Ada's inexpressiveness of imprecision of vagueness of misrepresenting
design intent in this regard (of inability to compile-time enforce
purity of subroutines) is clearly not abstraction.
---
There remains a mystery.
Why your message reminds me this scene from another genius, Stanley
Kubrick ? https://www.youtube.com/watch?v=iAHJCPoWCC8
No need to answer me, I don't have your skills to debate it. Just be
assured that this post is not mocking and more expressing amazement.
--
Be Seeing You
Number Six
next prev parent reply other threads:[~2020-12-22 10:05 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-17 22:39 Ada syntax questions DrPi
2020-12-17 23:18 ` Gabriele Galeotti
2020-12-18 8:26 ` Jeffrey R. Carter
2020-12-18 9:18 ` Dmitry A. Kazakov
2020-12-18 16:55 ` Mart van de Wege
2020-12-18 17:38 ` Björn Lundin
2020-12-18 19:35 ` Niklas Holsti
2020-12-20 21:59 ` Keith Thompson
2020-12-22 1:04 ` Randy Brukardt
2020-12-22 8:00 ` Dmitry A. Kazakov
2020-12-23 1:23 ` Randy Brukardt
2020-12-23 8:59 ` Dmitry A. Kazakov
2020-12-24 4:06 ` Randy Brukardt
2020-12-24 9:37 ` Dmitry A. Kazakov
2020-12-22 13:48 ` AdaMagica
2020-12-20 21:59 ` Keith Thompson
2020-12-21 8:08 ` Dmitry A. Kazakov
2020-12-18 23:09 ` Stephen Leake
2020-12-19 11:50 ` DrPi
2020-12-19 12:40 ` Dmitry A. Kazakov
2020-12-19 17:13 ` Andreas ZEURCHER
2020-12-19 17:49 ` Dmitry A. Kazakov
2020-12-19 18:40 ` Andreas ZEURCHER
2020-12-19 19:37 ` Dmitry A. Kazakov
2020-12-19 22:11 ` Andreas ZEURCHER
2020-12-20 8:47 ` Dmitry A. Kazakov
2020-12-20 16:53 ` Andreas ZEURCHER
2020-12-22 0:58 ` Randy Brukardt
2020-12-22 2:39 ` Andreas ZEURCHER
2020-12-22 10:05 ` Stéphane Rivière [this message]
2020-12-25 9:34 ` G.B.
2020-12-19 17:01 ` AdaMagica
2020-12-19 21:51 ` Stephen Leake
2020-12-19 22:20 ` Andreas ZEURCHER
2020-12-20 14:10 ` DrPi
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox