Re:JavaScript's sweet spot
by mraleph on Sunday November 06, 2011 @04:31PM
(#3203909)
It really depends on the semantics of those annotations.
For example: how is v:Array.<int> enforced (and is it enforced at all)?
Type annotations can be a good to seed type inference analysis or adjust collected type feedback. But unless they guarantee stability of objects shapes (e.g. Array.<float> can contain only floating point numbers) they'll give little.
For example: how is v:Array.<int> enforced (and is it enforced at all)?
Type annotations can be a good to seed type inference analysis or adjust collected type feedback. But unless they guarantee stability of objects shapes (e.g. Array.<float> can contain only floating point numbers) they'll give little.