[valenterry]

> Being more clear and precise in our specifications would only benefit us and the AI/ML tool generating the code

Good luck with that. We have those languages already. For example Idris. It's just that now you are essentially doing a lot of math.

And, funnily, I never hear people saying "making [math] more accessible and straight-forward to teach and use in day-to-day work". I wonder why...