F系统-一流百科

F系统

什么是F系统F系统（也称多态λ微积分或二阶λ微积分）是一种类型化的λ微积分，它在简单的类型化λ微积分中引入了一种对类型进行普遍量化的机制。F系统将编程语言...