User loginNavigation |
Non-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? By AntC at 2018-03-18 11:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 2410 reads
|
Browse archivesActive forum topics |
Recent comments
22 hours 55 min ago
1 week 2 hours ago
1 week 3 days ago
2 weeks 3 days ago
2 weeks 6 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 6 days ago
4 weeks 3 days ago
4 weeks 4 days ago