类型约束的语义学研究：基于类型约束的编程

类型约束的描述，属于声明式编程的一支；

基于类型约束的编程：

1、基于约束的类型声明：

只有符合约束的类型才能进行赋值；

2、基于类型约束的函数构造；

这里主要指新函数的构造；

函数是一种特殊的类型，是绑定在数据类型上的类型；

只有符合类型约束的构造类型的实例（符合类型），才能访问这些函数类型；

3、基于类型约束的类型构造和成员访问：

只有符合约束条件的构造实例才能访问基于类型约束的具体实现；