On Thu, Mar 29, 2018 at 12:22 PM, Robert Haas <robertmh...@gmail.com> wrote: > This technique has bene called JIT since about 1983, and is well-known > under that name, mostly because of Java. Calling it some made-up name > we create ourselves is not going to make this more comprehensible to > users.
+1. You make a good point about Java. Furthermore, when people talk about just in time compilation in database systems, which is far from a novel thing, they generally use the word JIT. Why confuse things? -- Peter Geoghegan