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 | 2344 reads
|
Browse archivesActive forum topics |
Recent comments
10 hours 18 min ago
21 hours 15 sec ago
1 day 5 hours ago
1 day 5 hours ago
1 day 7 hours ago
1 day 9 hours ago
1 day 9 hours ago
1 day 10 hours ago
1 day 15 hours ago
1 day 19 hours ago