From 78ecccc2b15d5bf666fb54031b7e471b2b9beb1a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 19 May 2015 11:17:17 -0500 Subject: [PATCH] fewer quotes --- .../guide/contracts/new-combinators.scrbl | 20 +++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/pkgs/racket-doc/scribblings/guide/contracts/new-combinators.scrbl b/pkgs/racket-doc/scribblings/guide/contracts/new-combinators.scrbl index 69e7bb618f..1e908c5c6d 100644 --- a/pkgs/racket-doc/scribblings/guide/contracts/new-combinators.scrbl +++ b/pkgs/racket-doc/scribblings/guide/contracts/new-combinators.scrbl @@ -67,13 +67,13 @@ The new argument specifies who is to be blamed for positive and negative contract violations. Contracts, in this system, are always -established between two parties. One party, the "server," provides some -value according to the contract, and the other, the "client," consumes the -value, also according to the contract. The "server" is called -the ``positive'' person and the "client" the ``negative''. So, +established between two parties. One party, called the server, provides some +value according to the contract, and the other, the client, consumes the +value, also according to the contract. The server is called +the positive position and the client the negative position. So, in the case of just the integer contract, the only thing that can go wrong is that the value provided is not an -integer. Thus, only the positive party (the "server") can ever accrue +integer. Thus, only the positive party (the server) can ever accrue blame. The @racket[raise-blame-error] function always blames the positive party. @@ -114,18 +114,18 @@ This technique is not merely a cheap trick to get the example to work, however. The reversal of the positive and the negative is a natural consequence of the way functions behave. That is, imagine the flow of values in a program between two -modules. First, one module (the "server") defines a function, and then that -module is required by another (the "client"). So far, the function itself +modules. First, one module (the server) defines a function, and then that +module is required by another (the client). So far, the function itself has to go from the original, providing module to the requiring module. Now, imagine that the providing module invokes the function, supplying it an argument. At this point, the flow of values reverses. The argument is traveling back from the requiring module to the providing -module! The "client" is "serving" the argument to the "server," -and the "server" is recieving that value as a "client." +module! The client is ``serving'' the argument to the server, +and the server is receiving that value as a client. And finally, when the function produces a result, that result flows back in the original -direction from "server" to "client." +direction from server to client. Accordingly, the contract on the domain reverses the positive and the negative blame parties, just like the flow of values reverses.