summaryrefslogtreecommitdiffstats
path: root/srfi-228.html
diff options
context:
space:
mode:
authorGravatar Daphne Preston-Kendal 2022-12-05 14:47:47 +0100
committerGravatar Daphne Preston-Kendal 2022-12-05 14:47:47 +0100
commita43367e72511eeb76f39557b5a0e5f441820ba31 (patch)
treeab20b90396039f1b6efd969eb6b8025457e5f361 /srfi-228.html
parentRevert changes to the semantics of sum-comparator (diff)
Markup and base case reference fix
Diffstat (limited to 'srfi-228.html')
-rw-r--r--srfi-228.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/srfi-228.html b/srfi-228.html
index f621ddc..dfc3091 100644
--- a/srfi-228.html
+++ b/srfi-228.html
@@ -86,7 +86,7 @@
<ul>
<li><b>type test</b> returns <code>#t</code> if there exists a relevant comparator for the given value, or otherwise <code>#f</code>;
<li><b>equality predicate</b> finds the relevant comparators for both of the values it is given. If the values have two different relevant comparators, it returns <code>#f</code>; otherwise, it returns the value of the equality predicate of the relevant comparator applied to the two values.
- <li><b>ordering predicate</b> finds the relevant comparators for both of the values (<var>a b</var>) it is given. If the relevant comparator for <var>a</var> is to the left of the relevant comparator for <var>b</var>, it returns <var>#t</var>. If the two values have the same relevant comparator, it returns the value returned by the ordering predicate of that comparator applied to the two values. In all other cases, returns <var>#f</var>.
+ <li><b>ordering predicate</b> finds the relevant comparators for both of the values (<var>a b</var>) it is given. If the relevant comparator for <var>a</var> is to the left of the relevant comparator for <var>b</var>, it returns <code>#t</code>. If the two values have the same relevant comparator, it returns the value returned by the ordering predicate of that comparator applied to the two values. In all other cases, returns <code>#f</code>.
<li><b>hash function</b> returns the value returned by the hash function of the relevant comparator for the value it is given.
</ul>
<p>If the ordering predicate or the hash function of any of the given comparators does not exist, the corresponding procedure in the sum comparator will also not exist.</p>
@@ -182,7 +182,7 @@
<p><code>make-sum-comparator</code>, and by extension the inspiration for the name of <code>make-product-comparator</code>, is originally from Adam Nelson’s Schemepunk.
-<p>Shiro Kawai requested a clearer definition of the individual procedures of sum and product comparators. He also suggested defining the base cases of <code>make-product-comparator</code> and <code>make-sum-comparator</code>; Jakob Wuhrer produced a detailed analysis showing the correct behaviour of the base cases <code>one-comparator</code> and <code>zero-comparator</code>, and also pointed out bugs in the sample implementation.
+<p>Shiro Kawai requested a clearer definition of the individual procedures of sum and product comparators. He also suggested defining the base cases of <code>make-product-comparator</code> and <code>make-sum-comparator</code>; Jakob Wuhrer produced a detailed analysis showing the correct behaviour of the base cases <code>comparator-one</code> and <code>comparator-zero</code>, and also pointed out bugs in the sample implementation.
<p>Lassi Kortela and Marc Nieper-Wißkirchen pointed out that the names <code>make-product-comparator</code> and <code>make-sum-comparator</code> are confusing and, in the former case, slightly incorrect in the analogy to product types of type theory. However, since nobody on the list could come up with a better name which makes clear what the two comparator compositions do, and their relationship to one another, the names were retained.
span class='deletions'>-3/+3 2016-04-08Update gb_math.hGravatar gingerBill 1-5/+6 2016-04-08Fix strict aliasing in gb_quake_inv_sqrtGravatar gingerBill 1-11/+13 2016-04-08Update gb_math.hGravatar gingerBill 1-1/+2 2016-04-08gb_math.h v0.04a - Minor bug fixesGravatar gingerBill 1-45/+50 2016-04-08Update README.mdGravatar gingerBill 1-2/+1 2016-04-08Delete gb_math.hppGravatar gingerBill 1-3882/+0 2016-04-08gb_math.h - v0.04 - Namespace everything with gbGravatar gingerBill 1-340/+1484 2016-03-03Update gb.h - v0.02Gravatar gingerBill 1-38/+59 2016-03-03New LibrariesGravatar gingerBill 3-2101/+1219 2016-01-01Explicit Everything!Gravatar gingerBill 4-306/+241 2015-12-17Macro fixesGravatar gingerBill 3-58/+75 2015-12-17Change conventions slightlyGravatar gingerBill 4-1041/+1069 2015-12-15Remove C++ specific macrosGravatar gingerBill 1-19/+2 2015-12-15Allow for no <stdio.h>Gravatar gingerBill 2-18/+32 2015-12-14gb.hpp - Allocators can be passed to gb_alloc/free/etc. without cast using `t...Gravatar gingerBill 3-33/+126 2015-12-14Update README.mdGravatar gingerBill 1-1/+1 2015-12-14gb.h - Implement all functions (from gb.hpp)Gravatar gingerBill 3-247/+1983 2015-12-14Update README.mdGravatar gingerBill 1-0/+1