Definitely not python. at least in the immediate future, context is the limiting factor, and not knowing if a function call might mutate your object is not goo

Definitely not python. at least in the immediate future, context is the limiting factor, and not knowing if a function call might mutate your object is not good for context (the llm must either dangerously assume or look it up, both of which are context-expensive)