The thing that got me about Ada was that it was so aggressively typed that
declare
X : FLOAT := 0;
would refuse to compile.