indeed, from my perspective doing heavy agentic dev for six months, the language all is implemented should be easy. its api - also. like Swift is super easy to read, but the APIs of underlying libs - not so much. Python is reasonably easy to read, but with GIL and everything is a very slow choice. Zig seems a nice apporach to readability, Rust is definitely not so readable.

we may want to invent something akin to concise math notion, but not so much, in between pseudo-code and math.

This hasn't been my experience. I find LLM code about as hard to review as human code, perhaps a little easier.