1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
pub trait Array<T> {
fn get(&self, idx: usize) -> Option<&T>;
fn len() -> usize;
unsafe fn as_slice(&self) -> &[T] {
::std::slice::from_raw_parts(self as *const Self as *const T, Self::len())
}
fn size(&self) -> usize { Self::len() }
}
#[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
pub struct Cons<T,L>(pub T, pub L);
#[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord)]
pub struct Term;
impl <T, L: Array<T>> Array<T> for Cons<T, L> {
fn get(&self, idx: usize) -> Option<&T> {
match idx {
0 => Some(&self.0),
n => self.1.get(n-1),
}
}
fn len() -> usize { 1 + L::len() }
}
impl <T> Array<T> for Term {
fn get(&self, _: usize) -> Option<&T> { None }
fn len() -> usize { 0 }
}
pub trait Map<T, S> : Array<T> {
type Output : Array<S>;
fn map<F: Fn(T)->S>(self, f: F) -> Self::Output;
}
impl <T, S, L: Map<T, S>> Map<T, S> for Cons<T, L> {
type Output = Cons<S, L::Output>;
fn map<F: Fn(T)->S>(self, f: F) -> Self::Output {
Cons(f(self.0), self.1.map(f))
}
}
impl <T, S> Map<T, S> for Term {
type Output = Term;
fn map<F: Fn(T)->S>(self, _: F) -> Term {
Term
}
}
#[macro_export]
macro_rules! array {
() => {{$crate::Term}};
($x:expr) => {{$crate::Cons($x, $crate::Term)}};
($x:expr, $($y:expr),+) => {{$crate::Cons($x, array!($($y),+))}};
}
#[cfg(test)]
mod tests {
use super::{Cons, Term, Map, Array};
#[test]
fn it_works() {
let x = array![1,2,3,4];
assert_eq!(x, Cons(1, Cons(2, Cons(3, Cons(4, Term)))));
assert_eq!(x.get(5), None);
assert_eq!(x.get(1), Some(&2));
assert_eq!(x.map(|x| x*2), array![2,4,6,8]);
}
}