Ask HN: Strong typed language for data analysis?

Seems that the languages used for data analysis are all interpreted: R Python Matlab / Octave

Are there strong type languages used for data analysis? Bonus points if it uses vectorization ala matlab.