@wessberg/ts-evaluatordeprecated

An interpreter for Typescript that can evaluate an arbitrary Node within a Typescript AST

Usage no npm install needed!

<script type="module">
  import wessbergTsEvaluator from 'https://cdn.skypack.dev/@wessberg/ts-evaluator';
</script>

README

Logo

An interpreter for Typescript that can evaluate an arbitrary Node within a Typescript AST

Downloads per month NPM version Dependencies Contributors code style: prettier License: MIT Support on Patreon

Description

This library is an implementation of an interpreter for Typescript that can evaluate any Expression, ExpressionStatement or Declaration within a Typescript AST. Rather than interpreting a program, or a sequence of Statements, this library takes a Node within an existing AST and evaluates it based on its' lexical environment.

This makes the library an effective companion if you're building a linter, framework, language service, partial evaluator, or something else where you may want to know the computed value of a specific Node at any point in an AST.

One strength of this plugin is that it opens up entirely new use cases such as partial evaluation directly in the editor experience, for example to catch non-syntactic bugs that would only occur on runtime, or more advanced diagnostic for frameworks.

To that end, several policy options can be provided to configure restrictions in terms of what is allowed to be evaluated, such as IO and Network access. Additionally, ts-evaluator supports both a Browser environment, a Node environment, and a pure ECMAScript environment. See Setting up an environment for more details.

If you are looking for a Typescript REPL, or a way to execute a full Typescript program, you're looking for something like ts-node instead.

Features

  • Evaluate any Node within a Typescript AST and get an actual value back
  • Supports browser-, node, and ECMA environments.
  • Supports several reporting- and diagnostic hooks you can use use
  • Is a full-featured JavaScript virtual machine
  • Supports policy restrictions and sandboxing

Backers

Become a sponsor/backer and get your logo listed here.

Bubbles Christopher Blanchard Ideal Postcodes Xerox
Bubbles
Twitter: @usebubbles
Christopher Blanchard Ideal Postcodes Xerox

Patreon

Patrons on Patreon

Table of Contents

Install

npm

$ npm install @wessberg/ts-evaluator

Yarn

$ yarn add @wessberg/ts-evaluator

pnpm

$ pnpm add @wessberg/ts-evaluator

Peer Dependencies

@wessberg/ts-evaluator depends on typescript, so you need to manually install this as well.

Usage

Let's start off with a very basic example:

import {evaluate} from "@wessberg/ts-evaluator";

const result = evaluate({
    node: someNode,
    typeChecker: someTypeChecker
});

// If a value was produced
if (result.success) {
    console.log(result.value);
}

// If an error occurred
else {
    console.log(result.reason);
}

In this example, the referenced bindings within the lexical environment of the Node will be discovered and evaluated before producing a final value. This means that you don't have to evaluate the entire program to produce a value which may potentially be a much faster operation.

Setting up an environment

You can define the kind of environment that evaluate() assumes when evaluating the given Node. By default, a Node environment is assumed.

The following environment presets are supported:

  • ECMA - Assumes a pure ECMAScript environment. This means that no other globals than those that are defined in the ECMAScript spec such as Math, Promise, Object, etc, are available.
  • NODE (default) - Assumes a Node environment. This means that built-in modules such as fs and path can be resolved, and Node-specific globals such as process is present.
  • BROWSER - Assumes a Browser environment. This means that DOM APIs are available and Browser-specific globals such as window is present.

Beyond presets, you can provide additional globals or override those that comes from the presets. Here's how you can configure environment options:

const result = evaluate({
    // ...
    environment: {
        // The "Node" environment is the default one. You can simply omit this key if you are targeting a Node environment
        preset: "NODE",
        extra: {
            someGlobal: "someValue"
        }
    }
});

Setting up Policies

With great power comes great responsibility. If you are embedding this plugin in, say, a language service plugin to enhance the editing experience in an editor, you may want to apply some restrictions as to what can be evaluated.

By default, IO writes, network calls, and spawning child processes are restricted. You can customize this to your liking:

const result = evaluate({
    // ...
    policy: {
        deterministic: false,
        network: false,
        console: false,
        maxOps: Infinity,
        maxOpDuration: Infinity,
        io: {
            read: true,
            write: false
        },
        process: {
            exit: false,
            spawnChild: false
        }
    }
});

Here's an explainer of the individual policies:

  • deterministic (default: false) - If deterministic is true, only code constructs that always evaluate to the same value is permitted. This means that things like Math.random() or new Date() without arguments, as well as network calls are restricted. This is useful if you are trying to statically analyze something and need to make sure that the value won't change for each invocation.

  • network (default: false) - If network is true, network activity is allowed, such as sending an HTTP request or hooking up a server.

  • console (default: false) - If console is true, logging to the console within evaluated code will produce the side-effect of actually logging to the console of the parent process. Usually, this is unwanted, since you're most likely only interested in the evaluated value, not so much the side-effects, but you can override this behavior by setting console to true.

  • maxOps (default: Infinity) - If maxOps is anything less than Infinity, evaluation will stop when the provided amount of operations has been performed. This is useful to opt-out of running CPU-intensive code, especially if you are embedding this library in an editor or a linter.

  • maxOpDuration (default: Infinity) - If maxOpDuration is anything less than Infinity, evaluation will stop when the provided amount of milliseconds have passed. This is useful to opt-out of long-running operations, especially if you are embedding this library in an editor or a linter.

  • io (default: {read: true, write: false}) - If io permits READ operations, files can be read from disk. If io permits WRITE operations, files can be written to disk.

  • process (default: {exit: false, spawnChild: false}) - If process permits exit operations, the evaluated code is permitted to exit the parent process. If process permits spawnChild operations, the evaluated code is permitted to spawn child processes.

Custom TypeScript version

You can provide a specific version of TypeScript to use as an option to evaluate. This may come in handy if you're using multiple TypeScript versions in your project or if you're receiving the TypeScript version to use as an argument from a third party.

const result = evaluate({
    // ...
    typescript: someTypescriptModule
});

Logging

You can get information about the evaluation process with various levels of logging. By default, nothing is logged, but you can override this behavior:

const result = evaluate({
    // ...
    logLevel: LogLevelKind.DEBUG
});

Here's an explainer of the different log levels:

  • LogLevelKind.SILENT (default) - By default, nothing is logged to the console.
  • LogLevelKind.INFO - Intermediate results are logged to the console.
  • LogLevelKind.VERBOSE - Everything that is logged with LogLevelKind.INFO as well as lexical environment bindings are logged to the console
  • LogLevelKind.DEBUG - Everything that is logged with LogLevelKind.VERBOSE as well as all visited Nodes during evaluation are logged to the console

Reporting

You can tap into the evaluation process with reporting hooks that will be invoked with useful information while an evaluation is in progress. These are useful if you want to understand more about the execution path and work with it programmatically.

const result = evaluate({
    // ...
    reporting: {
        reportBindings: entry => doSomething(entry),
        reportTraversal: entry => someArray.push(entry.node),
        reportIntermediateResults: entry => doSomeOtherThing(entry),
        reportErrors: entry => doSomethingWithError(entry)
    }
});

Here's an explainer of the different reporting hooks:

  • reportBindings(entry: IBindingReportEntry) => void|(Promise<void>) - Will be invoked for each time a value is bound to the lexical environment of a Node. This is useful to track mutations throughout code execution, for example to understand when and where variables are declared and/or mutated.
  • reportTraversal(entry: ITraversalReportEntry) => void|(Promise<void>) - Will be invoked for each time a new Node is visited while evaluating. This is useful to track the path through the AST, for example to compute code coverage.
  • reportIntermediateResults(entry: IIntermediateResultReportEntry) => void|(Promise<void>) - Will be invoked for each intermediate result that has been evaluated before producing a final result. This allows you to work programmatically with all expression values during code execution.
  • reportErrors(entry: IErrorReportEntry) => void|(Promise<void>) - Will be invoked for each error that is thrown, both when evaluating a result, and for subsequent invocations on, for example, returned function instances. Holds a reference to the error, as well ast the AST node that threw or caused the Error.

Contributing

Do you want to contribute? Awesome! Please follow these recommendations.

Maintainers

Frederik Wessberg
Frederik Wessberg
Twitter: @FredWessberg
Github: @wessberg
Lead Developer

FAQ

How fast is this?

This is, after all, a virtual machine written on top of another virtual machine (V8), which is built in a dynamically typed high-level language (EcmaScript). This library is not built to be comparable in performance to raw V8 execution speed. However, since ts-evaluator doesn't require a compile-step and works directly on an AST, for small operations it will most likely be several magnitudes faster than both ts-node and compiling to JavaScript with tsc and executing directly.

License

MIT © Frederik Wessberg (@FredWessberg) (Website)