The language he describes is not Turing-complete, which limits the number of use cases. Still very interesting when you have such a situation.