type-analyze

Statically analyze types through comments

// foo : Number -> Number
function foo (x) {
  return x + 1
}

foo('Hello')
// TypeError: foo('Hello') doesnt match Number -> Number

This module is a work in progress:

• [x]: Loads function type signature
• [x]: Checks literal types on function calls
• [ ]: Wildcards in type signature using *
• [ ]: Infers types of expressions (in functions and identifiers)
• [ ]: Loads identifier type signature
• [ ]: Checks identifier types
• [ ]: Proper support for scopes

Installation

$ npm install --save type-analyze

Usage

analyze(source, options) -> errors

Analyze source with options.

var errors = analyze(`
// foo : Number -> Number
function foo (x) { return x + 1 }  

foo('Hello')
`)

console.error(errors)
// [ TypeError { ... } ]

'errors'

An array of TypeError objects.

License

MIT © Jamen Marz