[IshKebab]

Right but "guaranteed to terminate" is not a useful property. You could write a program that terminates... after a billion years.

[dilyevsky]

You can estimate cost of CEL program using static analysis before running it. "estimate" only because size of runtime data is generally unknown (but obv you could limit that).

[IshKebab]

"You can" - in theory, or does this actually exist?

[dilyevsky]

https://pkg.go.dev/github.com/google/cel-go/cel#Env.Estimate...

[akshayshah]

There’s a whole section on this on TFA: https://celbyexample.com/execution-cost/

[AlecBG]

With certain macros disabled like .map the runtime is O(code length)!