I'm all for strongly typed / static typed everything when available for compile and run times. However here is some side information on the ECMA (2015) typed arrays[1] and the ongoing discussion / notes for the full static type implementation [2] that was proposed by Sirisian's (pretty detailed). The intent being to just offer information of what years down the road might look like.
[1] https://tc39.github.io/ecma262/#sec-typedarray-objects [2] https://github.com/sirisian/ecmascript-types -Mark K
