Date: Sun, 24 May 2020 03:13:03 -0700
From: Martin Thomson <notifications@github.com>
Reply-To: quicwg/base-drafts
 <reply+AFTOJK2EG5YRO3G3PMCY4TV42YU27EVBNHHCKIHBQM@reply.github.com>
To: quicwg/base-drafts <base-drafts@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <quicwg/base-drafts/pull/3684/c633208498@github.com>
In-Reply-To: <quicwg/base-drafts/pull/3684@github.com>
References: <quicwg/base-drafts/pull/3684@github.com>
Subject: Re: [quicwg/base-drafts] Invariant independent (#3684)
Mime-Version: 1.0
Content-Type: multipart/alternative;
 boundary="--==_mimepart_5eca48af106c3_6b4f3f97a26cd96811288a8";
 charset=UTF-8
Content-Transfer-Encoding: 7bit
Precedence: list
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic-issues/tLMR56tZiaD8nR-gtS30_Ne6OVg>


----==_mimepart_5eca48af106c3_6b4f3f97a26cd96811288a8
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

> Technically, we could reference this draft for the notation

Yes, but I think that - at least in principle - each should be as independent of the other as possible.  Sure, -transport is a concrete instantiation of -invariants, but you can implement it without -invariants.  Similarly, -invariants exists to support -transport, but it describes something bigger than it.  So while we might have some pointers, you can read each without the other, which is nice.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/quicwg/base-drafts/pull/3684#issuecomment-633208498
----==_mimepart_5eca48af106c3_6b4f3f97a26cd96811288a8
Content-Type: text/html;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

<p></p>
<blockquote>
<p>Technically, we could reference this draft for the notation</p>
</blockquote>
<p>Yes, but I think that - at least in principle - each should be as independent of the other as possible.  Sure, -transport is a concrete instantiation of -invariants, but you can implement it without -invariants.  Similarly, -invariants exists to support -transport, but it describes something bigger than it.  So while we might have some pointers, you can read each without the other, which is nice.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">&mdash;<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/quicwg/base-drafts/pull/3684#issuecomment-633208498">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AFTOJK6V3FJXHI4BF3XJGPTRTDXK7ANCNFSM4NHNPZHA">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AFTOJK7TABGSXF2CLZCZS6LRTDXK7A5CNFSM4NHNPZHKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEW675MQ.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/quicwg/base-drafts/pull/3684#issuecomment-633208498",
"url": "https://github.com/quicwg/base-drafts/pull/3684#issuecomment-633208498",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>
----==_mimepart_5eca48af106c3_6b4f3f97a26cd96811288a8--