User experience: Python vs R, PyMC vs Stan, PyTensor vs JAX

Is there doc explaining how this all works in more detail? This is the same kind of language about transpilation, computer algebra, and autodiff that confused us about what Theano actually did. We and a number of other people thought it was a code transformation tool like some of the existing Fortran libraries at the time.