agreed, intuitively, referential transparency + strong types 'feels' like it should be the best ai programming language.

and exhaustive pattern matching + result types should help as well pushing issues out of runtime.