3 ms·

Ada is very strict; its type system might not be as well-planned as Haskell's, but it's both strict and effective.