www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - [WIP] A Big O notation and algebra for D

reply 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
Dec 18 2016
next sibling parent reply 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 ?
Dec 18 2016
parent 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 ?
Dec 18 2016
prev sibling parent reply 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.
Jun 30
parent reply 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
Jun 30
parent 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. :)
Jun 30