From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada to Ada Translator ?
Date: Wed, 22 May 2019 15:07:40 -0500
Date: 2019-05-22T15:07:40-05:00 [thread overview]
Message-ID: <qc4a6c$bd1$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 29eb5a31-64d0-45f3-8c2e-7a715ac8f02d@googlegroups.com
"Optikos" <optikos@verizon.net> wrote in message
news:29eb5a31-64d0-45f3-8c2e-7a715ac8f02d@googlegroups.com...
> Functional programming facilitates correctness proofs.
??? Functional programming mostly facilities inefficiency and madness. :-)
There's no problem with doing correctness proofs on any sort of code --
that's the sort of thing optimizers have been doing since people invented
compilers.
Randy.
next prev parent reply other threads:[~2019-05-22 20:07 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-05-17 14:21 Ada to Ada Translator ? foo wong
2019-05-17 21:00 ` Simon Wright
2019-05-18 12:05 ` foo wong
2019-05-18 12:11 ` foo wong
2019-05-18 14:47 ` Simon Wright
2019-05-18 15:26 ` foo wong
2019-05-18 16:48 ` Simon Wright
2019-05-19 16:04 ` G.B.
2019-05-19 17:08 ` Simon Wright
2019-05-19 18:27 ` Optikos
2019-05-19 21:27 ` Simon Wright
2019-05-19 21:42 ` Simon Wright
2019-05-21 20:54 ` Optikos
2019-05-22 6:59 ` Simon Wright
2019-05-22 12:06 ` Optikos
2019-05-22 12:33 ` Simon Wright
2019-05-22 12:57 ` foo wong
2019-05-22 15:24 ` Shark8
2019-05-22 16:34 ` Optikos
2019-05-22 20:07 ` Randy Brukardt [this message]
2019-05-23 7:21 ` G. B.
2019-05-22 13:33 ` Optikos
2019-05-20 14:11 ` Optikos
2019-05-20 16:37 ` foo wong
2019-05-18 15:44 ` foo wong
2019-05-18 16:49 ` Simon Wright
2019-05-19 15:04 ` G.B.
2019-05-19 12:41 ` Optikos
2019-05-19 17:38 ` foo wong
2019-05-19 22:52 ` foo wong
2019-05-20 23:19 ` Randy Brukardt
2019-05-21 0:13 ` Optikos
2019-05-21 22:15 ` Randy Brukardt
2019-05-22 0:16 ` Optikos
2019-05-22 20:16 ` Randy Brukardt
2019-05-22 23:27 ` foo wong
2019-05-23 7:56 ` Simon Wright
2019-05-23 12:29 ` foo wong
2019-05-21 22:20 ` Randy Brukardt
2019-05-21 0:17 ` Optikos
2019-05-22 18:49 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox