It's not about being faster, but to not suffer from RSI. QWERTY forces your hands to stay in abnormal position which can cause wrist pain. Ergonomic layouts (and column-staggered or ortholinear keyboards) are designed with that in mind.
I should have said in my post that I have nothing to say about what you should do if you have serious pain from typing - from the other posts here it sounds like lots of things might help, including an ergonomic layout. I had minor pain and I did find it went away with the switch, but in retrospect, that was probably because I also focused on efficient touch-typing as I learned Workman, so I improved my posture, I think. I feel as comfortable typing now with QWERTY as I did with Workman.
Couldn't the hand positioning be mostly solved by remapping the few keys that pain you the most ?
For me it was the control key and escape keys, and the others keys are otherwise standard.
Also I'd argue people suffering from RSI shouldn't be striving for speed or efficiency that much. Some people switch their mouse hand or reverse buttons basically to detune, or split the load to other parts of their body, speed/efficiency be damned.
SQL is not Turing complete (if you ignore the WITH RECURSIVE construct), [...]
Morel, on the other hand, crosses that line. This is necessary, because all functional languages are Turing complete, [...]
TL;DR it's possible if you limit the recursive functions to only act on _reduced_ form of input (e.g. strict subset of a set) and if every function is total (produce output for every input).
