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 | 3196 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 9 hours ago
41 weeks 3 hours ago
41 weeks 7 hours ago
41 weeks 7 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago