Compile-time type checking

From Free net encyclopedia