polymorphism

convert to object

new vs no new

inheritance

recursion

first-class functions

exceptions

check-crypto-aes

JavaScript type inference

The type inference algorithm is based on the CFA2 control-flow analysis. Currently, it handles core JavaScript only (DOM support will be added soon). For comments and suggestions, email: dimvar at ccs dot neu dot edu.

Type some JavaScript and click to see the types.