JsTypeCheck Interactive Demo
Ok, only primitive literals work, but it's a start... O:)
AST
Typed AST
Input:
Check
function test() { var n = 5; };
Last Fn
Local Types:
Global Types:
(See JS console for more output)