A library (KernelF but it’s not important which one it is) defines some types and some operations and relationships between them. In particular, it defines some overloaded operations containers to specify that e.g. EqualsExpression can be applied to two EnumTypes as long as they are for the same enu…

The way overloaded operations rules work, is for every rule for a specific operation, such as a binary operation, typechecker tries to match its left and right operand types with the types provided in the rule. If the option “is exact” is set to false, types are compared using subtyping relation, an…

typesystem

← previous page

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled

Overloaded operations containers and extended languages