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
104
105
106
107
108
109
110
|
//// [genericTypeParameterEquivalence2.ts]
// compose :: (b->c) -> (a->b) -> (a->c)
function compose<A, B, C>(f: (b: B) => C, g: (a:A) => B): (a:A) => C {
return function (a:A) : C {
return f(g.apply(null, a));
};
}
// forEach :: [a] -> (a -> ()) -> ()
function forEach<A>(list: A[], f: (a: A, n?: number) => void ): void {
for (var i = 0; i < list.length; ++i) {
f(list[i], i);
}
}
// filter :: (a->bool) -> [a] -> [a]
function filter<A>(f: (a: A) => boolean, ar: A[]): A[] {
var ret = [];
forEach(ar, (el) => {
if (f(el)) {
ret.push(el);
}
} );
return ret;
}
// length :: [a] -> Num
function length2<A>(ar: A[]): number {
return ar.length;
}
// curry1 :: ((a,b)->c) -> (a->(b->c))
function curry1<A, B, C>(f: (a: A, b: B) => C): (ax: A) => (bx: B) => C {
return function (ay: A) {
return function (by: B) {
return f(ay, by);
};
};
}
var cfilter = curry1(filter);
// compose :: (b->c) -> (a->b) -> (a->c)
// length :: [a] -> Num
// cfilter :: {} -> {} -> [{}]
// pred :: a -> Bool
// cfilter(pred) :: {} -> [{}]
// length2 :: [a] -> Num
// countWhere :: (a -> Bool) -> [a] -> Num
function countWhere_1<A>(pred: (a: A) => boolean): (a: A[]) => number {
return compose(length2, cfilter(pred));
}
function countWhere_2<A>(pred: (a: A) => boolean): (a: A[]) => number {
var where = cfilter(pred);
return compose(length2, where);
}
//// [genericTypeParameterEquivalence2.js]
// compose :: (b->c) -> (a->b) -> (a->c)
function compose(f, g) {
return function (a) {
return f(g.apply(null, a));
};
}
// forEach :: [a] -> (a -> ()) -> ()
function forEach(list, f) {
for (var i = 0; i < list.length; ++i) {
f(list[i], i);
}
}
// filter :: (a->bool) -> [a] -> [a]
function filter(f, ar) {
var ret = [];
forEach(ar, function (el) {
if (f(el)) {
ret.push(el);
}
});
return ret;
}
// length :: [a] -> Num
function length2(ar) {
return ar.length;
}
// curry1 :: ((a,b)->c) -> (a->(b->c))
function curry1(f) {
return function (ay) {
return function (by) {
return f(ay, by);
};
};
}
var cfilter = curry1(filter);
// compose :: (b->c) -> (a->b) -> (a->c)
// length :: [a] -> Num
// cfilter :: {} -> {} -> [{}]
// pred :: a -> Bool
// cfilter(pred) :: {} -> [{}]
// length2 :: [a] -> Num
// countWhere :: (a -> Bool) -> [a] -> Num
function countWhere_1(pred) {
return compose(length2, cfilter(pred));
}
function countWhere_2(pred) {
var where = cfilter(pred);
return compose(length2, where);
}
|
