Is it possible to convert types in SmartPy?

Question

For example, converting a TMutez into a TString?

Answer 1

Yes and no.

There are no built-in convertors in Michelson.

Some operations are doable nonetheless. For example, the string manipulations template demonstrates kind of extreme string manipulations in SmartPy. For mutez, you could start to convert to int (by dividing by 1 mutez) and then use the same technics.