Static type checking in javascript