functionalscript 0.0.503 → 0.0.504

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.0.503",
+  "version": "0.0.504",
   "description": "FunctionalScript is a functional subset of JavaScript",
   "main": "module.f.cjs",
   "scripts": {

package/types/bigfloat/module.f.cjs

@@ -0,0 +1,47 @@
+const compare = require('../function/compare/module.f.cjs')
+const { abs, sign } = require('../bigint/module.f.cjs')
+
+/** @typedef {readonly[bigint,number]} BigFloat */
+
+const minSignificand = 0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n
+
+/** @type {(value: BigFloat) => (min: bigint) => BigFloat} */
+const increaseMantissa = ([m,e]) => min => {
+    if (m === 0n) {
+        return [m,e]
+    }
+    const s = sign(m)
+    m = abs(m)
+    while (true) {
+        if (m >= min) {
+            return [BigInt(s) * m, e]
+        }
+        m = m << 1n
+        e--
+    }
+}
+
+/** @type {(base: bigint) => (exp: number) => bigint} */
+const pow = base => exp => base ** BigInt(exp)
+
+const pow5 = pow(5n)
+
+/** @type {(dec: BigFloat) => BigFloat} */
+const decToBin = dec => {
+    if (dec[0] === 0n) {
+        return [0n, 0]
+    }
+    if (dec[1] >= 0) {
+        /** @type {BigFloat} */
+        const bin = [dec[0] * pow5(dec[1]), dec[1]]
+        return increaseMantissa(bin)(minSignificand)
+    }
+    const p = pow5(-dec[1])
+    const inc = increaseMantissa(dec)(p * minSignificand)
+    return [inc[0] / p, inc[1]]
+}
+
+module.exports = {
+    /** @readonly */
+    decToBin,
+}

package/types/bigfloat/test.f.cjs

@@ -0,0 +1,61 @@
+const { decToBin } = require('./module.f.cjs')
+
+module.exports = {
+    decToBin: [
+        () => {
+            const result = decToBin([0n, 0])
+            if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== 0) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([0n, 10])
+            if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== 0) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([0n, -10])
+            if (result[0] !== 0b00_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== 0) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([1n, 0])
+            if (result[0] !== 0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -53) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([1n, 1])
+            if (result[0] !== 0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -50) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([1000n, -2])
+            if (result[0] !== 0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -50) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([1n, -1])
+            if (result[0] !== 0b11_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011n) { throw result[0] }
+            if (result[1] !== -57) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([-1n, 0])
+            if (result[0] !== -0b10_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -53) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([-1n, 1])
+            if (result[0] !== -0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -50) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([-1000n, -2])
+            if (result[0] !== -0b10_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000n) { throw result[0] }
+            if (result[1] !== -50) { throw result[1] }
+        },
+        () => {
+            const result = decToBin([-1n, -1])
+            if (result[0] !== -0b11_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011_0011n) { throw result[0] }
+            if (result[1] !== -57) { throw result[1] }
+        }
+    ]
+}

package/types/bigint/module.f.cjs

@@ -1,3 +1,5 @@
+const compare = require('../function/compare/module.f.cjs')
+const { unsafeCmp } = compare
 const { reduce } = require('../list/module.f.cjs')
 
 /** @type {(a: bigint) => (b: bigint) => bigint} */
@@ -5,9 +7,19 @@ const addition = a => b => a + b
 
 const sum = reduce(addition)(0n)
 
+/** @type {(a: bigint) => bigint} */
+const abs = a => a >= 0 ? a : -a
+
+/** @type {(a: bigint) => compare.Sign} */
+const sign = a => unsafeCmp(a)(0n)
+
 module.exports = {
     /** @readonly */
     addition,
     /** @readonly */
     sum,
+    /** @readonly */
+    abs,
+    /** @readonly */
+    sign,
 }

package/types/bigint/test.f.cjs

@@ -1,8 +1,18 @@
-const { sum } = require('./module.f.cjs')
+const { sum, abs } = require('./module.f.cjs')
 
 module.exports = {
     sum: () => {
         const result = sum([2n, 3n, 4n, 5n])
         if (result !== 14n) { throw result }
-    }
+    },
+    abs: [
+        () => {
+            const result = abs(10n)
+            if (result !== 10n) { throw result }
+        },
+        () => {
+            const result = abs(-10n)
+            if (result !== 10n) { throw result }
+        }
+    ]
 }