User loginNavigation |
archivesNon-transitivity of type unificationWe know type unification is not transitive in general
And it's easy to find examples that don't unify
In all the examples I can make up, there's two outer types that don't unify, and a piggy in the middle that is either strictly more general than the outers (bare For some (malicious) testing, I want an example where each three pairings of types unify, but the three types together do not. That is
Can anybody concoct such an example? |
Browse archivesActive forum topics
|
Recent comments
11 weeks 23 hours ago
15 weeks 2 days ago
17 weeks 2 hours ago
17 weeks 2 hours ago
19 weeks 4 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 4 days ago