programming-languages - 类型化编程语言

Question

在设计具有子类型的类型化编程语言时，您需要确定函数类型何时是函数类型A->B的子类型C->D。

例如，我知道A <= B要表明A是B的子类型

什么时候或有可能A->B <= C->D？

任何帮助解释这一点将不胜感激。

标签： programming-languagessubtypetyped