Ada is a fairly strict language that allows for compilers to do a tremendous amount of static checks.