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
9 weeks 5 days ago
14 weeks 3 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago