[crdoconnor]

>And there's really nothing inherent in view transformations vs. business logic that necessarily makes the latter sufficiently served by a weaker computational model

There is. View transformations are essentially configuration. As such, the ideal language for describing them is declarative.

To keep declarative languages clear, you need to make them not be turing complete. If they are turing complete they become unpredictable and difficult to understand.

Business logic requires turing completeness and usually requires mutable state.