On: I use Cursor daily - here's how I avoid the garbage parts

[ModernMech]

> So I have to learn how to describe code rather than just writing it as I've done for years?

If we keep going down this path, we might end up inventing artificial languages for the purpose of precisely and unambiguously describing a program to a computer.

[kamaal → ModernMech]

You mean logic programming? https://en.wikipedia.org/wiki/Logic_programming

Its been around for decades. In fact this was the first approach to doing AI.

In logic programming you basically write concrete set of test cases and the compiler generates the code for which the test cases hold 'true'.

In other words you get a language to 'precisely and unambiguously describe a program', as you said. Compiler writes the code for you.

[sexyman48 → kamaal]

Sad that GP's wit was lost on you.

[splatzone → sexyman48]

And yet I learned something!