On Sunday, 18 December 2016 at 18:26:27 UTC, Andrei Alexandrescu wrote:

Article: http://erdani.com/d/bigo.html (do not publish; should do it with Mike)

Code (preliminary): https://github.com/dlang/phobos/pull/4965


Andrei

static assert(
  complexity!(insertFrontMany!MyC) <= O("n2") * log(O("n1")),
  "Too high complexity for insertFrontMany.");

You defined insertFrontMany as taking 2 template arguments, but here you only give it 1.

as the top of the lattice defined by the partial order ≤.

reads weird to me. s/lattice/ladder ?