Isaac Morland <isaac.morland@gmail.com> writes:
> On Sun, 18 Apr 2021 at 11:36, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> Are you familiar with the halting problem? I don't see any meaningful
>> difference here.
> I think what is being suggested is akin to type checking, not solving the
> halting problem.
Yeah, on further thought we'd be satisfied with a conservative
approximation, so that removes the theoretical-impossibility objection.
Still, there are a lot of remaining problems, as you note.
regards, tom lane