It is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)