typr 0.1.1

A superset of the legendary R
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

# Hey

module Matrice {
	type Mat<#M, #N> =
		[#M, [#N, num]];

	type CVec<#M> =
		[#M, [1, num]];

	let add <- fn(m1: Mat<#M, #N>, m2: Mat<#M, #N>): Mat<#M, #N> {
		...
	};

	let transpose <- fn(m: Mat<#M, #N>): Mat<#N, #M> {
		...
	};

	let dot <- fn(m1: Mat<#M, P>, m2: mat<P, #N>): <#M, #N> {
		...
	};

	let cvec <- fn(a: [#N, T]): CVec<#N> {
		...
	};

	let lvec <- fn(a: [#N, T]): LVec<#N> {
		a.cvec().transpose()	
	};
}

from Matrice use *;

# machine learning
type Layer = 
	(CVec<#M>) -> CVec<#N>;
type Activation = 
	(num) -> num;

let relu <- fn(a: num): num {
	...
};

let classic_layer <- fn(m: Mat<#M, #N>, b: CVec<#M>, a: Activation): Layer {
	return fn(v: CVec<#M>): CVec<#N> { 
		v 
		|> transpose()
		|> dot(m)
		|> add(b)
		|> map(a)
	};
};

let m = [[1, 2, 3], [4, 5, 6]];
let b = [4, 5, 6].cvec();
let b = [4, 5, 6].cvec();

let v = [1, 2, 3].cvec();

v
	|> classic_layer(m, b, relu)
	|> classic_layer(m, b, relu)
	|> classic_layer(m, b, relu);