动态型别容纳过渡代码和原型设计，如允许使用字串代替资料结构。静态型别语言最近的增强（如Haskell 一般化代数资料型别）允许eval函式以型别安全的方式撰写。动态型别使元程式设计更为强大，且更易于使用。例如C++模板的写法，比起等价的Ruby或Python写法要来的麻烦。更高度的执行时期构成物，如元类别（metaclass）和内观（Introspection），对静态型别语言而言通常更为困难。
强型别和弱型别.强型别的基本定义即为，禁止错误型别的参数继续运算。C语言的型别转换