More actions
imported>linflus No edit summary |
(Repair batch-0004 pages from live compare) |
||
| Line 9: | Line 9: | ||
limit(n)(a) := (n >= a) | limit(n)(a) := (n >= a) | ||
** | ** | ||
.reduce(f(a, b)) := f(seq | .reduce(f(a, b)) := f(seq[:last-1].reduce(f), seq[last]) | ||
** | ** | ||
filter(f(a)) := for each a in seq, sequence of a which f(a) is true. | filter(f(a)) := for each a in seq, sequence of a which f(a) is true. | ||
Revision as of 00:37, 27 March 2026
Implementing Infinite Data Structure in JavaScript.
11/26
naturalSequence().filter(limit(n)).reduce(sum)
sum(a, b) := a + b
limit(n)(a) := (n >= a)
.reduce(f(a, b)) := f(seq[:last-1].reduce(f), seq[last])
filter(f(a)) := for each a in seq, sequence of a which f(a) is true.