Dispatch predicate for overloaded functions using type intervals

摘要

The disclosed embodiments provide a system that facilitates the development and execution of a software program. During runtime of the software program, the system obtains a function call associated with an overloaded function and a generic type hierarchy. Next, the system determines an applicability of an implementation of the overloaded function to the function call. Finally, the system selects the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function.

主权项

1. A computer-implemented method for facilitating the development and execution of a software program, comprising:
during runtime of the software program, obtaining a function call associated with an overloaded function and a generic type hierarchy; determining an applicability of an implementation of the overloaded function to the function call; selecting the implementation for invocation by the function call based on the determined applicability and a partial order of implementations for the overloaded function; and performing type inference on one or more generic type parameters of the implementation by:
applying a constraint-solving technique to a set of initial limits and a set of constraints on the one or more generic type parameters; andwhen the constraint-solving technique does not provide a solution to the initial limits and the constraints, determining that the implementation is not applicable to the function call.