[adamnemecek]

You can think of it as a really nice intermediate language.

It might be hard to build a computer system that lets you reason about both probability and say quantum mechanics.

However it might be easier to build a system that phrases a probabilistic problem in terms of duality and then solves it.

Like why should each of this have it's own foundation when there's one that captures a lot of them?