类型推理-一流百科

类型推理

类型推理类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统，但也包括计算机科学和语言学某些分支中的自然语言。非技术性...