« first day (1447 days earlier)      last day (3500 days later) » 

11:01 PM
Oh boy, now I have a not_ for type-level boolean negation, and one for predicate negation :(
 
mine are in different namespaces :3
functional::negate and meta::negate
 
I find the boolean stuff too useful to put into meta, although it makes complete sense :( I just did Boolmeta::bool_, too.
 
I called it meta::boolean
I don't really like suffixed underscores
 
I still have Concepts::boolean. Talk about a clusterfuck lol.
 
I'm allergic to them.
lol
 
11:04 PM
Well I suppose they could go conjunction, disjunction and negation
 
@Rapptz wow a filename has include guard as trailing return type
 
Xeo
@LucDanton If you have "negation" you should go with "sum" and "product" :D
or just use unicode identifiers!
 
Good point!
 
@LucDanton ew :v
 
Xeo
oops, 1am
 
11:05 PM
> The name was picked randomly and it has absolutely no special meaning as the name of this project. It’s just a label the author appropriated for it. In English it is pronounced /ˈoʊɡənɛk/.
 
¬<std::is_pointer<T>> don’t look too sexy.
 
Ow YESSS
Talk third person to me, please
You make me wet @R.MartinhoFernandes
 
Xeo
@LucDanton Hm, I guess it'd look especially weird for and / or, since there are no type-level operators
bin<lhs, and_, rhs>!
welp, time to sleep
g'night
 
@Xeo A major point for their existences is being variadic :Þ
 
Night
 
user1804599
11:09 PM
Ugh.
 
Xeo
eval<a, and_, b, and_, c, and_, d, and_, eval<e, or_, f>>.
 
user1804599
Why can you not index variadic packs with an integer.
 
Xeo
because.
 
you can, it just takes a little bit more work
 
...
^get it
 
11:09 PM
@LucDanton hahaha
 
No, don't laugh.
 
Xeo
Gogo @Luc, implement it
 
TOO LATE.
 
You are feeding him.
 
I’ll go with complement(f) for the predicates.
 
Xeo
@LucDanton You know you want to implement a meta-proto for evaluating what I wrote above!
 
turns out I don't have functional::negate
 
Xeo
turns out you suck
 
I have this abomination locked up in detail instead :p
 
Xeo
hm, I said something about sleep, didn't I?
 
11:13 PM
yes
why does my keyboard keep doing that
 
Xeo
the fuck did that ン come from
 
@StackedCrooked I hate *graphs
 
@Xeo IME
 
Xeo
Especially in half-width form
 
@Rapptz why
 
11:14 PM
@Sofffia Scroll down.
 
@OMGtechy Actually, I don't think I've ever had any problem caused by them.
 
@StackedCrooked I have like once...but they should have just used a better compiler; most have it disabled by default now IIRC
 
no
only MSVC does
 
Really? I swear (almost) every single compiler I've used has had them disabled...
Maybe I'm in a dreamworld.
 
gcc does show a warning though (if -Wall is enabled)
 
11:16 PM
well that's not so bad
 
So I watched Scott's talk today. Really worth it.
 
on type deduction?
 
@Rapptz Re: yesterday, meta::is_evalable? :Þ
 
the proper word for it is evaluative
or evaluable?
but it sounds awkward
 
user1804599
 
11:30 PM
looks for word that means 'can be evaluated'
 
lol
 
@Rapptz Well, the proper word is evaluate, too.
 
Evalable est très valable.
 
is_computable?!
 
11:33 PM
I do call things like std::remove_pointer<T> a (meta)computation, so maybe meta::computes isn’t that bad.
 
@StackedCrooked EvalGullible
 
user1804599
libffi doesn't work well for this.
 
user1804599
I guess I could use code similar to this, though.
 
meta::has_result
 
is_metafunction
:p
 
11:35 PM
meta::makes_sense
 
I might end up making these things based on the categories we talked about
so like is_trait, is_metafunction, etc.
but I don't know yet
 
@Rapptz I don’t know what you’re referring to.
 
maybe you were too sleepy :p
We were discussing categories for stuff in <type_traits>
 
Go on.
 
@StackedCrooked yeah that one
i really like the bit about decltype(auto) and return x; vs return (x);
 
11:39 PM
Aug 23 at 23:09, by Luc Danton
I still need a name for something like Incrementable, which I don’t feel is an actual concept but certainly is a building block for them (e.g. Iterator, Integral).
That's.. a lot further back than I remember lol
I thought it was a week ago.
 
Oh I remember now.
 
I haven't ironed out the kinks yet
 
Although for the bit you quoted I’m going with concept part… but only because I can pun conparts.
 
but I do know that they need categorisation badly :v
 
Query traits and function traits?
Queries map to std::integral_constant<bool, B>, functions to a type (star?).
Although that would be hanging on to the term ‘traits’ solely for historical reasons.
 
11:42 PM
user image
6
@ThePhD just for you ^
 
Or… query (meta)functions and general, non-query functions—with those that refer to the properties of a type being called ‘traits’. E.g. the primary classification traits, obviously queries, and std::remove_extent, which fetches the element type of an array as example of traits.
^that does give a criterion for figuring which go in meta/ and which go in traits/, too.
@Rapptz Keep framing queries as question and non-queries as actions/verbs, but I have no clue when it comes to distinguishing traits from non-traits. Would the distinction be useful?
ooo, ’action’. Imperative and non-query-like!
 
hmm
 
Ell
Well I'm pretty disappointed
 
What would you call things like
std::conditional, std::is_same, etc?
 
Ell
I travel to visit my friend and all we do is watch films with the aforementioned friend's friends :/
No social interaction :(
@rapptz metafunctions?
Oops I didn't read the above paragraph yet
 
11:54 PM
@Rapptz Non-query, query. Metafunction, I’m not sure.
I’m not sure that ‘being the same as’ is really a property of a type. So it hangs on that.
Actually I was thinking along those lines for common_type_t.
 
my line of thinking
I was thinking, maybe something like 'property' which is stuff that queries *about* a type (`is_const`, `is_void`), then there are stuff like 'operations' that you could do *with an instance of* a type, like `is_copy_constructible` etc. Together these two make up 'traits'.

Then there are things that *transform* or *modify* types, like `remove_cv` etc would be a 'transformation'. Things that *query*
things about a type, like `std::is_same` etc would be called a 'query'. These things would be called 'metafunctions'. Things that
 
You’re computing a super type, if there is one. But the property arises from the choice (and even order) of all types. So what would it be a property of?
 
I think anything that operates on N-ary types should just be a metafunction.
 
Maybe the distinction is ‘property of a type’ vs ‘property of some types’, i.e. relations.
 
I consider std::common_type to be a metafunction because it's querying what the common type of the list of types is.
 
11:57 PM
Relation traits?
Does is_convertible represent a query regarding a relation between two types?
 
yeah
 
Still think a property of more than one type can be very trait-like.
 
you mean like
are_all_const? :p
 
The alternative is to consider that common_type is the associated type of true ? a : true ? b : true ? c : d : e : f, which is wholly pedestrian.
 

« first day (1447 days earlier)      last day (3500 days later) »