Re: [RFC] std.experimental.concepts

2015-07-29 Thread Shammah Chancellor via Digitalmars-d
On Friday, 24 July 2015 at 23:13:25 UTC, deadalnix wrote: On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I have

Re: [RFC] std.experimental.concepts

2015-07-27 Thread deadalnix via Digitalmars-d
On Sunday, 26 July 2015 at 15:24:45 UTC, Andrei Alexandrescu wrote: I think we disagree here. It doesn't seem to me that adding features to D is helpful at this point. -- Andrei I'm all for not adding new stuff.

Re: [RFC] std.experimental.concepts

2015-07-26 Thread Tofu Ninja via Digitalmars-d
On Sunday, 26 July 2015 at 15:24:45 UTC, Andrei Alexandrescu wrote: On 7/25/15 7:25 PM, deadalnix wrote: On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu wrote: On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack th

Re: [RFC] std.experimental.concepts

2015-07-26 Thread Andrei Alexandrescu via Digitalmars-d
On 7/25/15 10:18 PM, Tofu Ninja wrote: On Saturday, 25 July 2015 at 23:25:27 UTC, deadalnix wrote: On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu wrote: On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these a

Re: [RFC] std.experimental.concepts

2015-07-26 Thread Andrei Alexandrescu via Digitalmars-d
On 7/25/15 7:25 PM, deadalnix wrote: On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu wrote: On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these advantages against the advantages of template constraints. It's

Re: [RFC] std.experimental.concepts

2015-07-26 Thread Timon Gehr via Digitalmars-d
On 07/25/2015 04:14 PM, Martin Nowak wrote: On Saturday, 25 July 2015 at 14:06:05 UTC, Daniel N wrote: On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Tofu Ninja via Digitalmars-d
On Sunday, 26 July 2015 at 02:18:34 UTC, Tofu Ninja wrote: Also having both basically destroys walter's augment about it getting tedious adding constraints at the top level. Having both would mean its opt-in. Just noticed I wrote augment instead of argument...

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Tofu Ninja via Digitalmars-d
On Saturday, 25 July 2015 at 23:25:27 UTC, deadalnix wrote: On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu wrote: On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these advantages against the advantages of temp

Re: [RFC] std.experimental.concepts

2015-07-25 Thread deadalnix via Digitalmars-d
On Saturday, 25 July 2015 at 22:09:08 UTC, Andrei Alexandrescu wrote: On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these advantages against the advantages of template constraints. It's a landslide. Andrei This is a fals

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Andrei Alexandrescu via Digitalmars-d
On 7/25/15 5:24 PM, deadalnix wrote: On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these advantages against the advantages of template constraints. It's a landslide. Andrei This is a false dichotomy. We could have both (i.e. add traits to D), but would we

Re: [RFC] std.experimental.concepts

2015-07-25 Thread deadalnix via Digitalmars-d
On Saturday, 25 July 2015 at 13:41:22 UTC, Andrei Alexandrescu wrote: Now stack these advantages against the advantages of template constraints. It's a landslide. Andrei This is a false dichotomy.

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Daniel N via Digitalmars-d
On Saturday, 25 July 2015 at 14:14:52 UTC, Martin Nowak wrote: Templates are not bijective, so we'll never be generally able to determine T by matching Putty, i.e. 2 different T could have the same Putty!T type. Adding an exception for identity templates seems to be a hack. If it only was d

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Rikki Cattermole via Digitalmars-d
On 26/07/2015 2:14 a.m., Martin Nowak wrote: On Saturday, 25 July 2015 at 14:06:05 UTC, Daniel N wrote: On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seeme

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Martin Nowak via Digitalmars-d
On Saturday, 25 July 2015 at 14:06:05 UTC, Daniel N wrote: On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I hav

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Daniel N via Digitalmars-d
On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I have rebased it and fixed the formatting. Please take a look

Re: [RFC] std.experimental.concepts

2015-07-25 Thread Andrei Alexandrescu via Digitalmars-d
On 7/24/15 7:13 PM, deadalnix wrote: On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I have rebased it and fixed

Re: [RFC] std.experimental.concepts

2015-07-24 Thread deadalnix via Digitalmars-d
On Friday, 24 July 2015 at 19:56:55 UTC, Shammah Chancellor wrote: I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I have rebased it and fixed the formatting. Please take a look

[RFC] std.experimental.concepts

2015-07-24 Thread Shammah Chancellor via Digitalmars-d
I put up a PR for phobos awhile ago for concepts as a library to kind of start the discussion around concepts. There seemed to be some interest around the PR, so I have rebased it and fixed the formatting. Please take a look: https://github.com/D-Programming-Language/phobos/pull/2627 -Sha