算元为考量的规则所决定。在部分语言中，如AppleScript，某个值最终的型别，只以最左边的运算元的型别所决定。设计精巧的语言也允许语言显现出弱型别（借由类型推断之类的技术）的特性以方便使用，并且保留了强型别语言所提供的型别检查和保护。例子包括VB.Net、C#以及Java。运算子多载所带来的简化，像是不以算术运算中的加法来使用「+」，可以减少一些由动态型别所造成的混乱。例如，部分语言使用「.」或「&」来串连字串。
型别系统的安全性.程式语言的型别系统的第三种分类方法，就