Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal that is outside the type-system rules. Advantages provided by programmer-specified type systems include:


여기서 


a type system makes program behavior illegal that is outside the type-system rules


뭐라고 해석해야됨?