From 1a090ce5ff02e1dd05c6ad171c81cedb0b2ec74e Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 1 Jun 2022 14:43:33 +0200 Subject: [PATCH] Note on comparisons --- preserves-path.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/preserves-path.md b/preserves-path.md index 67ec76a..d9aeb29 100644 --- a/preserves-path.md +++ b/preserves-path.md @@ -112,6 +112,10 @@ engines](https://www.regular-expressions.info/engine.html)"; (2) it should be very widely implemented; (3) it should cover regular languages and no more; (4) it should be easy to implement. +Design choice: How should comparison work? Should `lt 1.0f` accept not only `0.9f` but also +`#t` and `#f` (since `Boolean` comes before `Float` in the Preserves total ordering)? Should +`lt 1.0f` accept `0.9` and `0` as well as `0.9f`? + ## Transformers e.g. stringify results; sequenceify results (see "+" operator); setify