Modelica

1. 通用编程语言里面我们定义变量，那么这个变量会被类型约束起来，赋值的时候只能是这个类型的对象或者是这个类型的子类型对象； 2. 又或者通用编程语言里面提供了泛型的功能，对泛型可以是任意类型，泛型约束就限定了这个类型的范围，也是类型约束，java中使用extend进行泛型上界约束，kotlin使用 ......