On Friday, 27 November 2015 at 07:08:40 UTC, Sönke Ludwig wrote:
Actually, no! Conditionals and loops are the only constructs - switch is a possibility, but basically nothing else. There will also never be variables, just constants. There is a definitive limit, namely when it becomes impossible to reason about the code in a generic way, without "executing" it, so in particular anything that would make it touring complete is a no-go - no recursion, no loop flow control statements, no goto. In fact, there are no "statements" at all, these are all purely declarative "directives".
Sounds like you should consider using a datalog engine. Good inference power and performance, but not turing complete.
Ola.
