[turminal]

I think this is on some level very much like deciding which programming language to use. It really depends on what problems you're trying to solve and there isn't a single one that is the best.

The difference is that type theories are much less of a "solved" problem and a lot of the variations are subject to ongoing research. As a consequence we're still at the stage where we're trying to figure out the "deciding how to decide", as opposed to programming languages, where decision criteria are relatively well understood.