Skip to content

Commit

Permalink
Clarifications in maybealwaysfirst comment
Browse files Browse the repository at this point in the history
  • Loading branch information
chrysn committed Mar 2, 2024
1 parent b270878 commit 28a0f4e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions draft-bormann-core-responses.md
Original file line number Diff line number Diff line change
Expand Up @@ -201,9 +201,9 @@ These rules generalize {{Sections 8.3 (Protecting the Response) and 8.4

[^maybealwaysfirst]: CA: We could also just mandate the "either the first or never" behavior.

It is unclear why one would save the efficient response,
It is unclear why one would delay sending the one response that has the least overhead,
but that may be lack of imagination.
An affine type system can make this doable in a safe way.
An affine type system (where instances can not generally be duplicated and are used at most once) can make this doable in a safe way.
In the end it's a tradeoff between implementer flexibility and specification simplicity.

* In 8.4 between steps 5 and 6,
Expand Down

0 comments on commit 28a0f4e

Please sign in to comment.