More actions
imported>linflus No edit summary |
(Repair MoniWiki formatting after migration) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
Implementing Infinite Data Structure in JavaScript. | Implementing Infinite Data Structure in [[JavaScript]]. | ||
== 11/26 == | == 11/26 == | ||
| 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. | ||
Latest revision as of 00:34, 29 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.