Re: 2 questions about volatile attribute of pg_proc.

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