There might be some interesting applications, but wouldn't all those applications be fully out in the open, both code and data?

Zero-knowledge proofs and whitebox cryptography can probably help, but both are a far cry from general purpose computing / programming models.