Re: Static inheritance (proof of concept)

2016-03-02 Thread Iakh via Digitalmars-d
On Monday, 29 February 2016 at 13:31:11 UTC, Atila Neves wrote: http://forum.dlang.org/post/tgnxocozkurfvmxqo...@forum.dlang.org Atila If you about this: http://forum.dlang.org/post/eejiauievypbfifky...@forum.dlang.org On Wednesday, 29 July 2015 at 06:05:37 UTC, Kagamin wrote: On Tuesday, 2

Re: Static inheritance (proof of concept)

2016-02-29 Thread Iakh via Digitalmars-d
On Monday, 29 February 2016 at 13:31:11 UTC, Atila Neves wrote: I'm not familiar with github so i can't see why it was rejected besides auto testing tools (Looks like it's just outdated) http://forum.dlang.org/post/tgnxocozkurfvmxqo...@forum.dlang.org Atila I didn't get the point. But I cou

Re: Static inheritance (proof of concept)

2016-02-29 Thread Atila Neves via Digitalmars-d
On Monday, 29 February 2016 at 12:31:58 UTC, Iakh wrote: On Monday, 29 February 2016 at 11:13:18 UTC, Atila Neves wrote: On Saturday, 27 February 2016 at 13:35:30 UTC, Iakh wrote: There was discussion and proposal to extend D with static inheritance: http://forum.dlang.org/thread/jwzxngccuwwiz

Re: Static inheritance (proof of concept)

2016-02-29 Thread Iakh via Digitalmars-d
On Monday, 29 February 2016 at 11:13:18 UTC, Atila Neves wrote: On Saturday, 27 February 2016 at 13:35:30 UTC, Iakh wrote: There was discussion and proposal to extend D with static inheritance: http://forum.dlang.org/thread/jwzxngccuwwizyivp...@forum.dlang.org But it could be done just with mi

Re: Static inheritance (proof of concept)

2016-02-29 Thread Atila Neves via Digitalmars-d
On Saturday, 27 February 2016 at 13:35:30 UTC, Iakh wrote: There was discussion and proposal to extend D with static inheritance: http://forum.dlang.org/thread/jwzxngccuwwizyivp...@forum.dlang.org But it could be done just with mixins, UDAs and some rewriting of predicates. It can, yes: ht

Re: Static inheritance (proof of concept)

2016-02-27 Thread Iakh via Digitalmars-d
On Saturday, 27 February 2016 at 20:51:22 UTC, Chris Wright wrote: On Sat, 27 Feb 2016 19:45:58 +, Iakh wrote: It is hard to pass all params to the mixin such as file, line and additional params for concept: Maybe we need file and line number __traits. Nice idea. I am also voting for fu

Re: Static inheritance (proof of concept)

2016-02-27 Thread Chris Wright via Digitalmars-d
On Sat, 27 Feb 2016 19:45:58 +, Iakh wrote: > It is hard to pass all params to the mixin such as file, line and > additional params for concept: Maybe we need file and line number __traits.

Re: Static inheritance (proof of concept)

2016-02-27 Thread Iakh via Digitalmars-d
On Saturday, 27 February 2016 at 18:14:25 UTC, Chris Wright wrote: On Sat, 27 Feb 2016 13:35:30 +, Iakh wrote: Looks good. I'd prefer to have just the mixin or just the attribute -- the latter being tricky just now. Agree. It'd be just as easy to make it: struct Range { mixin ensureCo

Re: Static inheritance (proof of concept)

2016-02-27 Thread Chris Wright via Digitalmars-d
On Sat, 27 Feb 2016 13:35:30 +, Iakh wrote: > There was discussion and proposal to extend D with static inheritance: > http://forum.dlang.org/thread/jwzxngccuwwizyivp...@forum.dlang.org > > But it could be done just with mixins, UDAs and some rewriting of > predicates. > > Exaple: > > @conc

Static inheritance (proof of concept)

2016-02-27 Thread Iakh via Digitalmars-d
There was discussion and proposal to extend D with static inheritance: http://forum.dlang.org/thread/jwzxngccuwwizyivp...@forum.dlang.org But it could be done just with mixins, UDAs and some rewriting of predicates. Exaple: @concept!isInputRange() struct Range { mixin checkConcepts; i