Recs.
Updated
Pascal is an influential imperative and procedural programming language, designed in 1968–1969 and published in 1970 by Niklaus Wirth as a small and efficient language intended to encourage good programming practices using structured programming and data structuring.
However, Pascal today is a modern programming language. Its golden era is from the late 80's to the early of 2000's. Though today it's no longer widely used, Pascal compilers are still actively used and developed. The syntax is simple and easy, yet powerful. Pascal compilers are known as very very fast compilers that make C-like compilers look like a bunch of snails.
SpecsUpdate
Pros
Pro Enforces good programming practice
Numerous strong compile time checks with optional runtime checks ensure one doesn't do stupid things and even when one does (because the compiler can't prove it at compile time), the binary will check and report it at runtime.
Correct modular programming implementation with proper namespacing, no file inclusion hack.