The language doesn't specify optimization, though it has features for optimizers to take advantage of, and the classic loop optimizations were introduced in For

The language doesn't specify optimization, though it has features for optimizers to take advantage of, and the classic loop optimizations were introduced in Fortran H if I remember correctly. The storage association rules aren't in the type system; you can write code that violates them, and many people did, but perhaps fewer now.