5 ms·It is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)by vmchale 3y agoIt is statically typed, there's a lot of depth to that side of things (Curry-Howard isomorphism)