2023-05-27 22:05:43 +00:00
|
|
|
|
2023-06-02 22:10:40 +00:00
|
|
|
|
2023-06-01 23:27:55 +00:00
|
|
|
fn map {
|
|
|
|
(f) -> fn mapper (xs) -> map (f, xs)
|
|
|
|
(f, xs) -> {
|
|
|
|
let n = count (xs)
|
|
|
|
loop (0, []) with (i, ys) -> if eq (i, n)
|
|
|
|
then ys
|
|
|
|
else recur (inc (i), conj (ys, f (nth (i, xs))))
|
|
|
|
}
|
|
|
|
}
|
2023-06-01 21:06:33 +00:00
|
|
|
|
2023-06-01 23:27:55 +00:00
|
|
|
fn reduce {
|
|
|
|
(f) -> fn reducer {
|
|
|
|
(xs) -> reduce (f, xs)
|
|
|
|
(xs, init) -> reduce (f, xs, init)
|
|
|
|
}
|
|
|
|
(f, xs) -> {
|
|
|
|
let first_x = first (xs)
|
|
|
|
let more_xs = rest (xs)
|
|
|
|
reduce (f, more_xs, first_x)
|
|
|
|
}
|
|
|
|
(f, xs, init) -> {
|
|
|
|
let n = count (xs)
|
|
|
|
loop (0, init) with (i, acc) -> if eq (i, n)
|
|
|
|
then acc
|
|
|
|
else {
|
|
|
|
let curr = nth (i, xs)
|
|
|
|
let next = f (acc, curr)
|
|
|
|
recur (inc (i), next)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn filter {
|
|
|
|
(f) -> fn filterer (xs) -> filter (f, xs)
|
|
|
|
(f, xs) -> {
|
|
|
|
let n = count (xs)
|
|
|
|
loop (0, []) with (i, ys) -> when {
|
|
|
|
eq (i, n) -> ys
|
|
|
|
f (nth (i, xs)) -> recur (inc (i), conj (ys, nth (i, xs)))
|
|
|
|
else -> recur (inc (i), ys)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-06-02 22:04:03 +00:00
|
|
|
let greater_than_two = gt (_, 2)
|
|
|
|
|
2023-07-04 16:42:56 +00:00
|
|
|
fn square (x) -> mult (x, x)
|
|
|
|
|
2023-06-01 23:27:55 +00:00
|
|
|
let xs = [1, 2, 3]
|
|
|
|
|
2023-07-04 16:42:56 +00:00
|
|
|
map (square, xs)
|