Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 12:06:16 UTC, Patrick Schluter wrote: On Thursday, 2 August 2018 at 10:31:02 UTC, aliak wrote: On Thursday, 2 August 2018 at 08:45:33 UTC, John Colvin wrote: [...] Thanks! And yes, totally aware of that. I have tried to link to relevant forum posts and will try to add more as I go along to where the usages were concocted. So I guess those could be the motivations? But it'd also be nice to just use it for a while and get feedback and experience with the names/APIs/functionalities/etc before adding it to std.meta. Though being in std would be ideal of course. [...] Dammit! You're right! Thank you for pointing that out. Art! It's Art! ... or maybe i can use a hipster "is" ... i.e. "iz" :p ’tis like in "’Tis the season to be jolly." https://en.wiktionary.org/wiki/'tis Ok, Unicode (’ U+2019) in a symbol is not nice but works normally in D. :-) Hehe, I went with iz, and now the docs for iz reads: "Iz is is - reason for choosing iz is because is is a keyword" :-D Are you sure about being able to use U+2019? I get: Error: character 0x2019 is not a valid token
Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 10:31:02 UTC, aliak wrote: On Thursday, 2 August 2018 at 08:45:33 UTC, John Colvin wrote: [...] Thanks! And yes, totally aware of that. I have tried to link to relevant forum posts and will try to add more as I go along to where the usages were concocted. So I guess those could be the motivations? But it'd also be nice to just use it for a while and get feedback and experience with the names/APIs/functionalities/etc before adding it to std.meta. Though being in std would be ideal of course. [...] Dammit! You're right! Thank you for pointing that out. Art! It's Art! ... or maybe i can use a hipster "is" ... i.e. "iz" :p ’tis like in "’Tis the season to be jolly." https://en.wiktionary.org/wiki/'tis Ok, Unicode (’ U+2019) in a symbol is not nice but works normally in D. :-)
Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 08:45:33 UTC, John Colvin wrote: On Thursday, 2 August 2018 at 08:40:55 UTC, John Colvin wrote: [...] woops, pressed send too early: 2) I don't think "doth" is synonymous with "is" how you're using it. "doth" is for doing, e.g. "Methinks he doth protest too much" or "This code doth stink" is OK "Green doth a colour" or "strstr doth a function" is not OK. Isn't "doth" just an antiquated orthography of "does"?
Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 08:45:33 UTC, John Colvin wrote: On Thursday, 2 August 2018 at 08:40:55 UTC, John Colvin wrote: This looks cool. Lots of things that lots of people have reimplemented lots of times over the years, but all in one place and documented. 2 points: 1) Are you aware of this: https://github.com/dlang/phobos/blob/master/std/meta.d ? I think if a bunch of good motivating examples are given, making this public would be possible. Then everyone would be using the same one and your library would truly just be utilities. Thanks! And yes, totally aware of that. I have tried to link to relevant forum posts and will try to add more as I go along to where the usages were concocted. So I guess those could be the motivations? But it'd also be nice to just use it for a while and get feedback and experience with the names/APIs/functionalities/etc before adding it to std.meta. Though being in std would be ideal of course. woops, pressed send too early: 2) I don't think "doth" is synonymous with "is" how you're using it. "doth" is for doing, e.g. "Methinks he doth protest too much" or "This code doth stink" is OK "Green doth a colour" or "strstr doth a function" is not OK. Dammit! You're right! Thank you for pointing that out. Art! It's Art! ... or maybe i can use a hipster "is" ... i.e. "iz" :p Cheers, - Ali
Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 08:40:55 UTC, John Colvin wrote:
On Thursday, 2 August 2018 at 07:47:19 UTC, aliak wrote:
Hi, just a release of a meta programming library
(https://bolts.dub.pm) that has utilities that I use in
personal projects, and that I find in phobos, and or in the
forums. A notable difference is that functions here try to
operate on any compile time entities if they can be resolved.
I.e.:
int i;
void g0(int) {}
struct S { void g1(int) {} }
alias g2 = (int a) => a;
static assert(isFunctionOver!(g0, int));
static assert(isFunctionOver!(S.g1, 3));
static assert(isFunctionOver!(g2, i));
And there's a "doth" super template that tries to contain most
things under what I feel is a nicer api ("is" was taken, so i
looked to Shakespearian gibberish :p) and also allows for
easier use with meta functions:
E.g.:
int *pi = null;
static assert( doth!3.of!int);
static assert(!doth!pi.nullable);
static assert( doth!((a, b, c, d) => a).functionOver!(int,
int, int, int));
int i;
import std.meta: allSatisfy;
static assert(allSatisfy!(doth!int.of, 3, 4, int, i));
Here's an example of a gem adapted from inside the
forms/phobos sources as well:
alias a = AliasPack!(1, 2, 3);
alias b = AliasPack!(4, 5, 6);
alias c = AliasPack!(7, 8, 9);
alias d = staticZip!(a, b, c);
static assert(d.length == 3);
static assert(d.Unpack[0].equals!(1, 4, 7));
static assert(d.Unpack[1].equals!(2, 5, 8));
static assert(d.Unpack[2].equals!(3, 6, 9))
static assert(AliasPack!(d.UnpackDeep).equals!(1, 4, 7, 2, 5,
8, 3, 6, 9));
Cheers,
- Ali
This looks cool. Lots of things that lots of people have
reimplemented lots of times over the years, but all in one
place and documented.
2 points:
1) Are you aware of this:
https://github.com/dlang/phobos/blob/master/std/meta.d ? I
think if a bunch of good motivating examples are given, making
this public would be possible. Then everyone would be using the
same one and your library would truly just be utilities.
woops, pressed send too early:
2) I don't think "doth" is synonymous with "is" how you're using
it. "doth" is for doing, e.g.
"Methinks he doth protest too much" or "This code doth stink" is
OK
"Green doth a colour" or "strstr doth a function" is not OK.
Re: Bolts 0.4 meta programming library
On Thursday, 2 August 2018 at 07:47:19 UTC, aliak wrote:
Hi, just a release of a meta programming library
(https://bolts.dub.pm) that has utilities that I use in
personal projects, and that I find in phobos, and or in the
forums. A notable difference is that functions here try to
operate on any compile time entities if they can be resolved.
I.e.:
int i;
void g0(int) {}
struct S { void g1(int) {} }
alias g2 = (int a) => a;
static assert(isFunctionOver!(g0, int));
static assert(isFunctionOver!(S.g1, 3));
static assert(isFunctionOver!(g2, i));
And there's a "doth" super template that tries to contain most
things under what I feel is a nicer api ("is" was taken, so i
looked to Shakespearian gibberish :p) and also allows for
easier use with meta functions:
E.g.:
int *pi = null;
static assert( doth!3.of!int);
static assert(!doth!pi.nullable);
static assert( doth!((a, b, c, d) => a).functionOver!(int, int,
int, int));
int i;
import std.meta: allSatisfy;
static assert(allSatisfy!(doth!int.of, 3, 4, int, i));
Here's an example of a gem adapted from inside the forms/phobos
sources as well:
alias a = AliasPack!(1, 2, 3);
alias b = AliasPack!(4, 5, 6);
alias c = AliasPack!(7, 8, 9);
alias d = staticZip!(a, b, c);
static assert(d.length == 3);
static assert(d.Unpack[0].equals!(1, 4, 7));
static assert(d.Unpack[1].equals!(2, 5, 8));
static assert(d.Unpack[2].equals!(3, 6, 9))
static assert(AliasPack!(d.UnpackDeep).equals!(1, 4, 7, 2, 5,
8, 3, 6, 9));
Cheers,
- Ali
This looks cool. Lots of things that lots of people have
reimplemented lots of times over the years, but all in one place
and documented.
2 points:
1) Are you aware of this:
https://github.com/dlang/phobos/blob/master/std/meta.d ? I think
if a bunch of good motivating examples are given, making this
public would be possible. Then everyone would be using the same
one and your library would truly just be utilities.
Bolts 0.4 meta programming library
Hi, just a release of a meta programming library
(https://bolts.dub.pm) that has utilities that I use in personal
projects, and that I find in phobos, and or in the forums. A
notable difference is that functions here try to operate on any
compile time entities if they can be resolved.
I.e.:
int i;
void g0(int) {}
struct S { void g1(int) {} }
alias g2 = (int a) => a;
static assert(isFunctionOver!(g0, int));
static assert(isFunctionOver!(S.g1, 3));
static assert(isFunctionOver!(g2, i));
And there's a "doth" super template that tries to contain most
things under what I feel is a nicer api ("is" was taken, so i
looked to Shakespearian gibberish :p) and also allows for easier
use with meta functions:
E.g.:
int *pi = null;
static assert( doth!3.of!int);
static assert(!doth!pi.nullable);
static assert( doth!((a, b, c, d) => a).functionOver!(int, int,
int, int));
int i;
import std.meta: allSatisfy;
static assert(allSatisfy!(doth!int.of, 3, 4, int, i));
Here's an example of a gem adapted from inside the forms/phobos
sources as well:
alias a = AliasPack!(1, 2, 3);
alias b = AliasPack!(4, 5, 6);
alias c = AliasPack!(7, 8, 9);
alias d = staticZip!(a, b, c);
static assert(d.length == 3);
static assert(d.Unpack[0].equals!(1, 4, 7));
static assert(d.Unpack[1].equals!(2, 5, 8));
static assert(d.Unpack[2].equals!(3, 6, 9))
static assert(AliasPack!(d.UnpackDeep).equals!(1, 4, 7, 2, 5, 8,
3, 6, 9));
Cheers,
- Ali
