by或Python写法要来的麻烦。更高度的执行时期构成物，如元类别（metaclass）和内观（Introspection），对静态型别语言而言通常更为困难。
强型别和弱型别.强型别的基本定义即为，禁止错误型别的参数继续运算。C语言的型别转换即为缺乏强型别的证例；如果编写者用C语言对一个值转换型别，不仅令编译器允许这个代码，而且在执行时期中也同样允许。这使得C代码可更为紧密和快速，不过也使除错变的更为困难。部分学者使用术语记忆体安全语言（或简称为安全语言）形容禁止未定义运算发生