functionalscript 0.0.506 → 0.0.508

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/dev/module.mjs +3 -6
  2. package/package.json +1 -1
  3. package/types/bigfloat/module.f.cjs +40 -6
  4. package/types/bigfloat/test.f.cjs +175 -19
package/dev/module.mjs CHANGED
@@ -1,3 +1,5 @@
1
+ import { readdir, readFile } from 'node:fs/promises'
2
+
1
3
  /**
2
4
  * @typedef {{
3
5
  * readonly withFileTypes: true
@@ -78,9 +80,6 @@ const remove_tail = v => dif => v.slice(0, v.length - dif)
78
80
  /** @type {any} */
79
81
  const self = globalThis
80
82
 
81
- /** @type {() => Promise<FsPromises>} */
82
- export const fs = () => import(self.Deno ? 'https://deno.land/std/node/fs/promises.ts' : 'node:fs/promises')
83
-
84
83
  /** @type {(code: number) => never} */
85
84
  export const exit = self.Deno ? self.Deno.exit : process.exit
86
85
 
@@ -95,8 +94,6 @@ export const env =
95
94
  }
96
95
 
97
96
  export const loadModuleMap = async () => {
98
- const { readdir, readFile } = await fs();
99
-
100
97
  /** @type {() => Promise<FunctionMap>} */
101
98
  const load = async () => {
102
99
  /** @type {(readonly[string, Function])[]} */
@@ -167,4 +164,4 @@ export const loadModuleMap = async () => {
167
164
  }
168
165
 
169
166
  return build()
170
- }
167
+ }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "functionalscript",
3
- "version": "0.0.506",
3
+ "version": "0.0.508",
4
4
  "description": "FunctionalScript is a functional subset of JavaScript",
5
5
  "main": "module.f.cjs",
6
6
  "scripts": {
package/types/bigfloat/module.f.cjs CHANGED
@@ -1,14 +1,16 @@
1
1
  const compare = require('../function/compare/module.f.cjs')
2
2
  const { abs, sign } = require('../bigint/module.f.cjs')
3
+ const { todo } = require('../../dev/module.f.cjs')
3
4
 
4
5
  /** @typedef {readonly[bigint,number]} BigFloat */
5
6
 
6
- const minSignificand = 0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
7
+ const twoPow53 = 0b0010_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
8
+ const twoPow54 = 0b0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
7
9
 
8
10
  /** @type {(value: BigFloat) => (min: bigint) => BigFloat} */
9
- const increaseMantissa = ([m,e]) => min => {
11
+ const increaseMantissa = ([m, e]) => min => {
10
12
  if (m === 0n) {
11
- return [m,e]
13
+ return [m, e]
12
14
  }
13
15
  const s = sign(m)
14
16
  m = abs(m)
@@ -21,11 +23,43 @@ const increaseMantissa = ([m,e]) => min => {
21
23
  }
22
24
  }
23
25
 
26
+ /** @type {(value: BigFloat) => (max: bigint) => BigFloat} */
27
+ const decreaseMantissa = ([m, e]) => max => {
28
+ if (m === 0n) {
29
+ return [m, e]
30
+ }
31
+ const s = sign(m)
32
+ m = abs(m)
33
+ while (true) {
34
+ if (m < max) {
35
+ return [BigInt(s) * m, e]
36
+ }
37
+ m = m >> 1n
38
+ e++
39
+ }
40
+ }
41
+
24
42
  /** @type {(base: bigint) => (exp: number) => bigint} */
25
43
  const pow = base => exp => base ** BigInt(exp)
26
44
 
27
45
  const pow5 = pow(5n)
28
46
 
47
+ /** @type {(div: BigFloat) => (p: bigint) => BigFloat} */
48
+ const divide = ([m, e]) => div => {
49
+ const mabs = abs(m)
50
+ const q = mabs / div
51
+ const s = BigInt(sign(m))
52
+ const [q53, e53] = decreaseMantissa([q, e])(twoPow54)
53
+ const r = q53 & 1n
54
+ const q52 = q53 >> 1n
55
+ const e52 = e53 + 1
56
+ if (r === 1n && mabs === q * div && q === q53 >> BigInt(e - e53)) {
57
+ const odd = q52 & 1n
58
+ return [s * (q52 + odd), e52]
59
+ }
60
+ return [s * (q52 + r), e52]
61
+ }
62
+
29
63
  /** @type {(dec: BigFloat) => BigFloat} */
30
64
  const decToBin = dec => {
31
65
  if (dec[0] === 0n) {
@@ -34,11 +68,11 @@ const decToBin = dec => {
34
68
  if (dec[1] >= 0) {
35
69
  /** @type {BigFloat} */
36
70
  const bin = [dec[0] * pow5(dec[1]), dec[1]]
37
- return increaseMantissa(bin)(minSignificand)
71
+ return divide(increaseMantissa(bin)(twoPow53))(1n)
38
72
  }
39
73
  const p = pow5(-dec[1])
40
- const inc = increaseMantissa(dec)(p * minSignificand)
41
- return [inc[0] / p, inc[1]]
74
+ const [m, e] = increaseMantissa(dec)(p * twoPow53)
75
+ return divide([m, e])(p)
42
76
  }
43
77
 
44
78
  module.exports = {
package/types/bigfloat/test.f.cjs CHANGED
@@ -4,58 +4,214 @@ module.exports = {
4
4
  decToBin: [
5
5
  () => {
6
6
  const result = decToBin([0n, 0])
7
- if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
7
+ if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
8
8
  if (result[1] !== 0) { throw result[1] }
9
9
  },
10
10
  () => {
11
11
  const result = decToBin([0n, 10])
12
- if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
12
+ if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
13
13
  if (result[1] !== 0) { throw result[1] }
14
14
  },
15
15
  () => {
16
16
  const result = decToBin([0n, -10])
17
- if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
17
+ if (result[0] !== 0b0_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
18
18
  if (result[1] !== 0) { throw result[1] }
19
19
  },
20
20
  () => {
21
21
  const result = decToBin([1n, 0])
22
- if (result[0] !== 0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
23
- if (result[1] !== -53) { throw result[1] }
22
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
23
+ if (result[1] !== -52) { throw result[1] }
24
24
  },
25
25
  () => {
26
26
  const result = decToBin([1n, 1])
27
- if (result[0] !== 0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
28
- if (result[1] !== -50) { throw result[1] }
27
+ if (result[0] !== 0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
28
+ if (result[1] !== -49) { throw result[1] }
29
29
  },
30
30
  () => {
31
31
  const result = decToBin([1000n, -2])
32
- if (result[0] !== 0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
33
- if (result[1] !== -50) { throw result[1] }
32
+ if (result[0] !== 0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
33
+ if (result[1] !== -49) { throw result[1] }
34
34
  },
35
35
  () => {
36
36
  const result = decToBin([1n, -1])
37
- if (result[0] !== 0b11_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011n) { throw result[0] }
38
- if (result[1] !== -57) { throw result[1] }
37
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) } //+1
38
+ if (result[1] !== -56) { throw result[1] }
39
39
  },
40
40
  () => {
41
41
  const result = decToBin([-1n, 0])
42
- if (result[0] !== -0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
43
- if (result[1] !== -53) { throw result[1] }
42
+ if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
43
+ if (result[1] !== -52) { throw result[1] }
44
44
  },
45
45
  () => {
46
46
  const result = decToBin([-1n, 1])
47
- if (result[0] !== -0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
48
- if (result[1] !== -50) { throw result[1] }
47
+ if (result[0] !== -0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
48
+ if (result[1] !== -49) { throw result[1] }
49
49
  },
50
50
  () => {
51
51
  const result = decToBin([-1000n, -2])
52
- if (result[0] !== -0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
53
- if (result[1] !== -50) { throw result[1] }
52
+ if (result[0] !== -0b1_0100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
53
+ if (result[1] !== -49) { throw result[1] }
54
54
  },
55
55
  () => {
56
56
  const result = decToBin([-1n, -1])
57
- if (result[0] !== -0b11_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011n) { throw result[0] }
58
- if (result[1] !== -57) { throw result[1] }
57
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) } //+1
58
+ if (result[1] !== -56) { throw result[1] }
59
+ },
60
+ () => {
61
+ const result = decToBin([0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //54bits (...0.1)
62
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
63
+ if (result[1] !== 1) { throw result[1] }
64
+ },
65
+ () => {
66
+ const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //54bits (...1.1)
67
+ if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
68
+ if (result[1] !== 1) { throw result[1] }
69
+ },
70
+ () => {
71
+ const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //54bits (...0.1)
72
+ if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
73
+ if (result[1] !== 1) { throw result[1] }
74
+ },
75
+ () => {
76
+ const result = decToBin([-0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //54bits (...1.1)
77
+ if (result[0] !== -0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
78
+ if (result[1] !== 1) { throw result[1] }
79
+ },
80
+ () => {
81
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, 0]) //55bits (...0.01)
82
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
83
+ if (result[1] !== 2) { throw result[1] }
84
+ },
85
+ () => {
86
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n, 0]) //55bits (...0.10)
87
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0].toString(2) }
88
+ if (result[1] !== 2) { throw result[1] }
89
+ },
90
+ () => {
91
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0110n, 0]) //55bits (...1.10)
92
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010n) { throw result[0].toString(2) }
93
+ if (result[1] !== 2) { throw result[1] }
94
+ },
95
+ () => {
96
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011n, 0]) //55bits (0.11)
97
+ if (result[0] !== 0b1_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n) { throw result[0].toString(2) }
98
+ if (result[1] !== 2) { throw result[1] }
99
+ },
100
+ ],
101
+ roundingPositive: [
102
+ () => {
103
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, -1])
104
+ // reminder = 0
105
+ // m = 11001100110011001100110011001100110011001100110011001.101
106
+ // rounding up
107
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
108
+ if (result[1] !== 2) { throw result[1] }
109
+ },
110
+ () => {
111
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001_0000n, -1])
112
+ // reminder = 0
113
+ // m = 11001100110011001100110011001100110011001100110011010.000
114
+ // rounding down
115
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
116
+ if (result[1] !== 2) { throw result[1] }
117
+ },
118
+ () => {
119
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0100n, -1])
120
+ // reminder = 0
121
+ // m = 11001100110011001100110011001100110011001100110011010.100
122
+ // rounding down (to even)
123
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
124
+ if (result[1] !== 2) { throw result[1] }
125
+ },
126
+ () => {
127
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0101n, -1])
128
+ // reminder = 1
129
+ // m = 11001100110011001100110011001100110011001100110011010.100
130
+ // rounding up
131
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
132
+ if (result[1] !== 2) { throw result[1] }
133
+ },
134
+ () => {
135
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_1001n, -1])
136
+ // reminder = 0
137
+ // m = 11001100110011001100110011001100110011001100110011010.101
138
+ // rounding up
139
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
140
+ if (result[1] !== 2) { throw result[1] }
141
+ },
142
+ () => {
143
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011_1101n, -1])
144
+ // reminder = 0
145
+ // m = 11001100110011001100110011001100110011001100110011011.001
146
+ // rounding down
147
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
148
+ if (result[1] !== 2) { throw result[1] }
149
+ },
150
+ () => {
151
+ const result = decToBin([0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0100_1100n, -1])
152
+ // reminder = 0
153
+ // m = 11001100110011001100110011001100110011001100110011011.100
154
+ // rounding up (to even)
155
+ if (result[0] !== 0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1100n) { throw result[0].toString(2) }
156
+ if (result[1] !== 2) { throw result[1] }
157
+ }
158
+ ],
159
+ roundingNegative: [
160
+ () => {
161
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001n, -1])
162
+ // reminder = 0
163
+ // m = -11001100110011001100110011001100110011001100110011001.101
164
+ // rounding down
165
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
166
+ if (result[1] !== 2) { throw result[1] }
167
+ },
168
+ () => {
169
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0001_0000n, -1])
170
+ // reminder = 0
171
+ // m = -11001100110011001100110011001100110011001100110011010.000
172
+ // rounding up
173
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
174
+ if (result[1] !== 2) { throw result[1] }
175
+ },
176
+ () => {
177
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0100n, -1])
178
+ // reminder = 0
179
+ // m = -11001100110011001100110011001100110011001100110011010.100
180
+ // rounding up (to even)
181
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1010n) { throw result[0].toString(2) }
182
+ if (result[1] !== 2) { throw result[1] }
183
+ },
184
+ () => {
185
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_0101n, -1])
186
+ // reminder = 1
187
+ // m = -11001100110011001100110011001100110011001100110011010.100
188
+ // rounding down
189
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
190
+ if (result[1] !== 2) { throw result[1] }
191
+ },
192
+ () => {
193
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0010_1001n, -1])
194
+ // reminder = 0
195
+ // m = -11001100110011001100110011001100110011001100110011010.101
196
+ // rounding down
197
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
198
+ if (result[1] !== 2) { throw result[1] }
199
+ },
200
+ () => {
201
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0011_1101n, -1])
202
+ // reminder = 0
203
+ // m = -11001100110011001100110011001100110011001100110011011.001
204
+ // rounding up
205
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1011n) { throw result[0].toString(2) }
206
+ if (result[1] !== 2) { throw result[1] }
207
+ },
208
+ () => {
209
+ const result = decToBin([-0b100_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0100_1100n, -1])
210
+ // reminder = 0
211
+ // m = -11001100110011001100110011001100110011001100110011011.100
212
+ // rounding down (to even)
213
+ if (result[0] !== -0b1_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1001_1100n) { throw result[0].toString(2) }
214
+ if (result[1] !== 2) { throw result[1] }
59
215
  }
60
216
  ]
61
217
  }