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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news.swapon.de!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: a new language, designed for safety !
Date: Wed, 18 Jun 2014 18:39:15 +0200
Organization: cbb software GmbH
Message-ID: <11upxu8arp649$.3nmpvazrorn7$.dlg@40tude.net>
References: <lmj8s6$hhp$1@speranza.aioe.org> <85ioo9yukk.fsf@stephe-leake.org>
 <ln6tlg$1vc$1@dont-email.me>
 <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
 <ln6uv9$bk8$1@dont-email.me>
 <b22db9fb-a73d-438a-8cfd-f0bb1db70eed@googlegroups.com>
 <MPElv.491358$1w1.428312@fx03.iad>
 <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com>
 <ln7ngt$c8a$1@dont-email.me>
 <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org>
 <lnn5ko$ner$1@loke.gir.dk>
 <665318547424646901.823673laguest-archeia.com@nntp.aioe.org>
 <lnnt1g$mka$1@dont-email.me> <lnpdt2$ggn$1@dont-email.me>
 <lnq5kj$e2v$1@loke.gir.dk> <lnq78k$ur8$1@dont-email.me>
 <53a127a6$0$6658$9b4e6d93@newsspool3.arcor-online.net>
 <117hu7inluueh.8yl6k6ubrlo5.dlg@40tude.net>
 <53a15d0a$0$6619$9b4e6d93@newsspool4.arcor-online.net>
 <1f63h2p39u7oi$.tj7uwc9s8i68.dlg@40tude.net>
 <53a1a5ab$0$6654$9b4e6d93@newsspool3.arcor-online.net>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: AuYlnUSfTZrfhAkRjyySpQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
X-Original-Bytes: 3197
Xref: number.nntp.dca.giganews.com comp.lang.ada:187053
Date: 2014-06-18T18:39:15+02:00
List-Id: <comp.lang.ada>

On Wed, 18 Jun 2014 16:43:55 +0200, G.B. wrote:

> On 18.06.14 14:30, Dmitry A. Kazakov wrote:
>> On Wed, 18 Jun 2014 11:34:01 +0200, G.B. wrote:
>>
>>> (Pardon? A contract is a manifest piece from the equivalence
>>> class of paper, signed by two parties.
>>
>> And that does not defines the parties it only constrains them, which was
>> the point.
> 
> In fact, you declared "contract" to be a
> 
> "framework of constraints imposed on the implementations"
> 
> which a contract between two legal parties is not.

Legal parties? What are you talking about?

>>>> 2. You cannot have exhaustive contracts.
>>>
>>> Writing contracts is not a just formal logic, it is about
>>> programmers *behaving* responsibly when programming:
>>
>> Irrelevant.
> 
> Essential because behavior of parties is the subject of court rulings.

Nope. But in any case it does not show that contracts could be exhaustive.

>> If you are contracted to smoke one block a day, that might be irresponsible
>> on your side, but a contract is a contract.
> 
> If I sign a contract with you about doing X, and then I
> don't do X, then you can hold me responsible.

Irrelevant as well. People's behavior and their contracts has nothing to do
with the point about implied contracts and exhaustiveness of contracts. Not
that human's contracts possessed these properties either.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de