From 31106c730c62c6fa37f9547e9e48f1622324ba3b Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 21 Nov 2022 15:56:15 -0500 Subject: [PATCH] Fold implementation comments --- src/builtins/fold.c | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/builtins/fold.c b/src/builtins/fold.c index 553ea173..ac56d18a 100644 --- a/src/builtins/fold.c +++ b/src/builtins/fold.c @@ -1,3 +1,14 @@ +// Fold (´) + +// Optimized operands: +// ⊣⊢ on all types +// +-∧∨=≠ and synonyms on booleans +// ≤<>≥ on booleans, monadic only, with a search +// +⌈⌊× on numbers +// Integer +: sum blocks associatively as long as sum can't exceed +-2⋆53 +// COULD implement fast numeric -´ +// ∨ on boolean-valued integers, stopping at 1 + #include "../core.h" #include "../builtins.h"