Menu
Search

Forums

Forum Index

Thread overview
[WIP] A Big O notation and algebra for D
Dec 18, 2016
John Colvin
Dec 18, 2016
Timothee Cour
Jun 30, 2017
Mark
Jun 30, 2017
Mark
December 18, 2016
Gravatar of Andrei AlexandrescuPosted by Andrei AlexandrescuReply
Andrei Alexandrescu
Gravatar of Andrei Alexandrescu


Reply
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
December 18, 2016
Gravatar of John ColvinPosted by John Colvin
in reply to Andrei Alexandrescu		Reply
John Colvin
Gravatar of John Colvin
Posted in reply to Andrei Alexandrescu


Reply
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 ?
December 18, 2016
Gravatar of Timothee CourPosted by Timothee Cour
in reply to John Colvin		Reply
Timothee Cour
Gravatar of Timothee Cour
Posted in reply to John Colvin
Attachments:


Reply
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) <= 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 ?
>
June 30, 2017
Gravatar of MarkPosted by Mark
in reply to Andrei Alexandrescu		Reply
Mark
Gravatar of Mark
Posted in reply to Andrei Alexandrescu


Reply
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.
June 30, 2017
Gravatar of Andrei AlexandrescuPosted by Andrei Alexandrescu
in reply to Mark		Reply
Andrei Alexandrescu
Gravatar of Andrei Alexandrescu
Posted in reply to Mark


Reply
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
June 30, 2017
Gravatar of MarkPosted by Mark
in reply to Andrei Alexandrescu		Reply
Mark
Gravatar of Mark
Posted in reply to Andrei Alexandrescu


Reply
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. :)