TypedJS uses a function’s type signature to generate input parameters, and evaluates the function upon these inputs to form a test case. This test case fails if an exception occurs, or the output violates function constraints. While type signatures provide a limited form of program specification, TypedJS adds a quick and rigorous sanity check to your deployment pipeline.
This is just a start. TypedJS will soon provide more complex forms of program specification, and analysis. It is licensed under MIT License.
License: MIT License