The former is precise for when some subscribers need to
Verity has made progress on this, with an implementation that uses trampolines and an encoding of existential types. It seems highly likely that an iterative solution exists but that the technique shown here is not sufficiently capable to handle it.
，这一点在新收录的资料中也有详细论述
TopN Order By: pdb.score() desc
Let's see how often that is actually the case by asking Ostrich