gates/examples/basic.gates at master · lujjjh/gates · GitHub

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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
// a gates program is an expression
(function () {
  // type conversion
  assert_eq(true, bool(1.1));
  assert_eq(false, bool(0));
  assert_eq(1, int(1.1));
  assert_eq(1.1, number(1.1));
  assert_eq("42", string(42));

  // truthy && falsy
  map(function (v) { assert(v); }, [ [], true, function () {}, {}, 1, -1, 1.0, -1.0, "hello world" ]);
  map(function (v) { assert(!v); }, [ false, null, 0, 0.0, 0 / 0, "" ]);

  // comparison
  {
    assert_ne(0 / 0, 0 / 0);

    assert_eq(true, true);
    assert_ne(false, true);
    assert_ne(null, true);
    assert_ne(false, true);

    assert_eq(0, 0);
    assert_eq(0.0, 0);
    assert_eq(-0.0, 0);
    assert_ne(null, 0);

    assert_eq("", "");
    assert_eq("hello world", "hello world");
    assert_ne(null, "");
    assert_ne(null, "hello world\n");

    assert_eq([], []);
    assert_eq([ 1 ], [ 1 ]);
    assert_ne([ 1 ], [ 2 ]);
    assert_ne(null, []);
    assert_ne(null, [ 1 ]);

    assert_eq({}, {});
    assert_ne({}, { foo: "bar" });
    assert_ne(null, {});
    assert_ne(null, { foo: "bar" });
    assert_eq(null, null);
  }

  // arithmetic
  assert_eq(2, 1 + +1);
  assert_eq(-1, 1 + -2);
  assert_eq(2.5, 1 * 2.5);
  assert_eq(0.5, 1 / 2);
  assert_eq(1, 3 % 2);
  assert_eq(0.5, 3 % 2.5);

  // bit shifting
  assert_eq(2, 1 << 1);
  assert_eq(1, 2 >> 1);

  // assignment
  {
    let x = 1;
    let y = 2;
    let z = 0;
    z = x + y;
    assert_eq(3, z);

    t = 42;
    assert_eq(42, t);

    let array = [0];
    array[0] = 1;
    assert_eq(1, array[0]);

    let map = { a: 1 };
    map.b = 2;
    map["c"] = 3;
    assert_eq(1, map.a);
    assert_eq(2, map.b);
    assert_eq(3, map.c);

    let a = 1, b = 2, c = 3;
    assert_eq(1, a);
    assert_eq(2, b);
    assert_eq(3, c);
  }

  // block and scope
  {
    let x = 1;
    let y = 2;
    {
      let x = 2;
      assert_eq(2, x);
      assert_eq(2, y);
    }
    assert_eq(1, x);
  }

  // closure
  {
    let add = function (a) {
      return function (b) {
        return a + b;
      };
    };
    let add2 = add(2);
    assert_eq(42, add2(40));

    let fib = function (n) {
      if (n == 0 || n == 1) {
        return 1;
      }
      return fib(n - 1) + fib(n - 2);
    };
    assert_eq(89, fib(10));
  }

  // block visibility
  assert_eq(null, (function (i) {
    for (let i = 0; i < 2; i = i + 1) {
      i;
    }
    return i;
  })());

  // type tag
  assert_eq("array", type([]));
  assert_eq("bool", type(true));
  assert_eq("function", type(function () {}));
  assert_eq("function", type(assert_eq));
  assert_eq("map", type({}));
  assert_eq("null", type(null));
  assert_eq("number", type(42));
  assert_eq("number", type(-1.5));
  assert_eq("string", type(""));

  // arrow function
  assert_eq(42, (() => 42)());
  assert_eq(42, 20 | x => x + 1 | (x) => x * 2);
  assert_eq(42, ((x, y) => x + y)(40, 2));
  assert_eq(42, () => { return 42; }());
})()