3 ms·

Is there a real trade off between intuitive and easy to compute, versus sound and satisfies the ordering constraints, or can you just compute the most precise s

by jules 11y ago

Is there a real trade off between intuitive and easy to compute, versus sound and satisfies the ordering constraints, or can you just compute the most precise sound solution?

pcwalton 11y ago
Maybe; it's unclear. The hardest part is getting the GLB/LUB/subtyping right.