Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Isaac Ganoung <inventor500@vivaldi.net>
Newsgroups: comp.lang.c++
Subject: Re: What is OOP?
Date: Sun, 8 Dec 2024 17:56:22 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <vj4mk6$3u8ea$1@dont-email.me>
References: <d8a5a0d563f0b9b78b34711d12d4975a7941f53a.camel@gmail.com>
	<3a72f45ce7a77c6272e207f009ba09aece96f8df@i2pn2.org>
	<253c0b3fe3ac8ea661af3347f93529bd0f03f3e2.camel@gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; protocol="application/pgp-signature";
	micalg=pgp-sha256; boundary="=-lnZ4c7IZMKgM1hUP1K3u"
Injection-Date: Sun, 08 Dec 2024 18:56:23 +0100 (CET)
Injection-Info: dont-email.me; posting-host="999e8a3a2f2d5e6b0fcf08dc2029c133";
	logging-data="4137418"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+tm+hSVf/viLyGCbKW3Y1DO1Dq9VX1Klc="
User-Agent: Pan/0.161 (Chasiv Yar; 7e6f2f6)
Cancel-Lock: sha1:yHU8T6UhvPxnaDx6HmsX23yKXJI=

--=-lnZ4c7IZMKgM1hUP1K3u
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Mon, 02 Dec 2024 08:57:41 +0800, wij wrote:

> How do you verify correctness just by the program 'logic'?

You use a functional language like Haskell. You are probably looking for=20
this: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence


--=-lnZ4c7IZMKgM1hUP1K3u
Content-Type: application/pgp-signature; name=signature.asc
Content-Disposition: attachment; filename=signature.asc

-----BEGIN PGP SIGNATURE-----

iKkFABYIACkiIQWu9OejSHRObh6wRzaYOt2b+sY1MbPYEve6H7+92tvbBgUCZ1Xd
uAAADTwBwwR9kuZcVCViKclgj1/trKO5xxztk/OMYy/lUa/tWz0lt8KfjBvGcI53
PUA+su2Zo+LKTau2V7CbgAHIkK/Yocl3D7pev6ZiMfJYpDF0cEtHiRtzTFxZ8khA
H9I93gpMQh8H4sEFWr7TPdAIS6wD3I24rx0A
=ss6Q
-----END PGP SIGNATURE-----

--=-lnZ4c7IZMKgM1hUP1K3u--