Static typing is a programming language feature where variable types are explicitly declared and checked at compile time, leading to early error detection and improved code reliability. It contrasts with dynamic typing, offering benefits like performance optimization and better tooling support due to known types during development.