• Andrei Alexandrescu (4/4) Dec 18 2016 Article: http://erdani.com/d/bigo.html (do not publish; should do it
• John Colvin (5/13) Dec 18 2016 You defined insertFrontMany as taking 2 template arguments, but
• Timothee Cour via Digitalmars-d (3/21) Dec 18 2016 https://en.wikipedia.org/wiki/Lattice_(order)
• Mark (3/7) Jun 30 2017 Was this project abandoned? It's no longer in std/experimental.
• Andrei Alexandrescu (2/12) Jun 30 2017 I'll get to it. -- Andrei
• Mark (3/16) Jun 30 2017 No hurry. It just seemed really interesting. :)

Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:

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

John Colvin <john.loughran.colvin gmail.com> writes:

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 ?

Timothee Cour via Digitalmars-d <digitalmars-d puremagic.com> writes:

https://en.wikipedia.org/wiki/Lattice_(order)

On Sun, Dec 18, 2016 at 10:46 AM, John Colvin via Digitalmars-d <
digitalmars-d puremagic.com> wrote:

 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) <=3D 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 =E2=89=A4.

 reads weird to me. s/lattice/ladder ?

Mark <smarksc gmail.com> writes:

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

Was this project abandoned? It's no longer in std/experimental.

Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:

On 06/30/2017 12:01 PM, Mark wrote:
 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

 
 Was this project abandoned? It's no longer in std/experimental.

I'll get to it. -- Andrei

Mark <smarksc gmail.com> writes:

On Friday, 30 June 2017 at 16:28:18 UTC, Andrei Alexandrescu 
wrote:
 On 06/30/2017 12:01 PM, Mark wrote:
 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

 
 Was this project abandoned? It's no longer in std/experimental.

 I'll get to it. -- Andrei

No hurry. It just seemed really interesting. :)