// No need to add "type definitions" to existing libraries!
external jQuery, $;
// This will always remain an 'unsigned int' - even at runtime
unsigned int pageHeight = $(document).height();
// Alternatively, you're not required to declare the type for a
var offset = 0;
"TypeScript's 'type erasure' vs JS++'s 'type guarantee' would be a big reason to use JS++ over TypeScript."
You'll be surprised how JS++ works 100% of the time, even in the most obscure corner cases.