ges》和《Advanced Topics in Types and Programming Languages》的作者，曾说：大致而言，「强型别」隐含着程式语言对容许混合情况出现加上了严格的限制，以避免程式码以无效的资料使用方式编译或执行。例如，整数除法运算不可用于字串；链表上的运算步骤不可用于数字。然而，这些限制的本质和效力是极易改变的。
强型别在文献中的含义.已经被写作者认定为“强型别”的一些要素包括: