glen
/
typocomath
2
0
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity
A final (?) prototype for a refactor of mathjs, culminating the picomath, pocomath, typomath series. Provides an extensible core with "fuzzy" types for its operations, that can at any time generate exact .d.ts file for its current state.
20 Commits 20 Branches 0 Tags 490 KiB
TypeScript 100%
Go to file
Jos de Jong dea521029e Get a real TypeScript plugin working 2023-09-01 17:52:44 +02:00
src Get a real TypeScript plugin working 2023-09-01 17:52:44 +02:00
.gitignore fix: generate CommonJS output instead of ESM as a workaround for typescript-rtti issue #94 2023-02-02 15:52:15 +01:00
LICENSE Initial commit 2022-12-02 14:04:53 +00:00
README.md Get a real TypeScript plugin working 2023-09-01 17:52:44 +02:00
package.json5 Get a real TypeScript plugin working 2023-09-01 17:52:44 +02:00
pnpm-lock.yaml Add an experiment reading out a JSDoc comment 2023-08-18 17:39:57 +02:00
tsconfig.json Get a real TypeScript plugin working 2023-09-01 17:52:44 +02:00

README.md

typocomath

A final (?) prototype for a refactor of mathjs, culminating the picomath, pocomath, typomath series. Provides an extensible core with "fuzzy" types for its operations, that can at any time generate exact .d.ts file for its current state.

To build and run the prototype, run:

pnpm install
pnpm build-and-run

experiment

See: the section under /src/experiment and /src/plugins.

The idea

Create a TypeScript plugin which can replace structures like:

infer(factoryFunction)

where factoryFunction is a mathjs factory function in TypeScript, with something like:

infer({ signature: factoryFunction })

where signature is a string containing the type of the factory function and its dependencies.

Relevant methods of the TypeScript compiler are:

const program = ts.createProgram(fileNames, options)
const typeChecker = program.getTypeChecker()

// relevant methods:
//
//   typeChecker.getSymbolAtLocation
//   typeChecker.getTypeOfSymbolAtLocation
//   typeChecker.getResolvedSignature
//   typeChecker.getSignaturesOfType

Status

None of the experiments (infer1 and infer2) are outputting something useful yet.

How to run

pnpm experiment:infer1
pnpm experiment:infer1-direct
pnpm experiment:infer2
pnpm experiment:infer3
pnpm experiment:infer4

Read more

Interesting libraries