I'm working on this direction in healthcare. I want to make a little specialized, non-Turing complete language for handling evented data streams from patients.

I think there's a lot of power in certain kinds of non-Turing completeness. Email me if you want to talk about it.