首页>
外国专利>
TYPE INFERENCE OF GENERIC TYPE PARAMETERS IN OVERLOADED FUNCTIONS USING TYPE INTERVALS AND INFERENCE DIRECTIONS
TYPE INFERENCE OF GENERIC TYPE PARAMETERS IN OVERLOADED FUNCTIONS USING TYPE INTERVALS AND INFERENCE DIRECTIONS
展开▼
机译:使用类型间隔和推断方向的重载函数中的一般类型参数的类型推断
展开▼
页面导航
摘要
著录项
相似文献
摘要
The disclosed embodiments provide a system that facilitates the development and execution of a software program. During operation, the system obtains a type interval for a generic type parameter of an implementation of an overloaded function. Next, the system selects an inference direction for the generic type parameter based on a variance of the generic type parameter, wherein the inference direction is an upward inference direction or a downward inference direction. Finally, the system uses the type interval and the inference direction to perform type inference on the generic type parameter.
展开▼