hkaiser changed the topic of #ste||ar to: STE||AR: Systems Technology, Emergent Parallelism, and Algorithm Research | stellar-group.org | HPX: A cure for performance impaired parallel applications | github.com/STEllAR-GROUP/hpx | This channel is logged: irclog.cct.lsu.edu
diehlpk_work has quit [Remote host closed the connection]
Yorlik_ has joined #ste||ar
Yorlik has quit [Ping timeout: 265 seconds]
hkaiser has quit [Quit: Bye!]
K-ballo has quit [Ping timeout: 260 seconds]
K-ballo1 has joined #ste||ar
K-ballo1 is now known as K-ballo
bhumit[m] has quit [Quit: You have been kicked for being idle]
<satacker[m]>
gonidelis: what's the time window I have to put `execution::on` and revise co_await stuff (minor changes: remove hidden types)
hkaiser has joined #ste||ar
<gonidelis[m]>
satacker: no pressure at all
<satacker[m]>
I find hard time in digesting this blog https://brevzin.github.io/c++/2018/10/20/concepts-declarations/, somehow I ( a newbie) am able to form my opinions on it which disagree with the views presented. Can anyone take a look and let me know what they think of those views?
<hkaiser>
satacker[m]: what's not clear to you?
<satacker[m]>
The last 4 points
<hkaiser>
satacker[m]: are you sure this blog post describes the current state of affairs (it's from 2018)?
<satacker[m]>
I don't think so
<satacker[m]>
Because it mentions that concepts is still a paper which is not the case for today
<hkaiser>
well, I wouldn't know, I'm a newby with concepts as well ;-)
<hkaiser>
I think the concepts we have are minimalistic boolean predicates - people wanted to avoid introducing yet another meta language
<hkaiser>
there were two more complete (competing) concept proposals before 2007, but those were discarded for various reasons
<satacker[m]>
if concepts were to be associated with types (by associated here it must mean that getting the type using concepts) why would they be concepts, it would just become another type in itself , like is_something::type and is_something::value overloaded with bool
<hkaiser>
yah
tufei__ has quit [Remote host closed the connection]
<hkaiser>
but you can't get from concepts to templates easily
tufei__ has joined #ste||ar
<satacker[m]>
yes, i remember the p2300 reference impl
DevanshuSinha[m] has quit [Quit: You have been kicked for being idle]
K-ballo1 has joined #ste||ar
K-ballo has quit [Ping timeout: 268 seconds]
K-ballo1 is now known as K-ballo
tufei__ has quit [Remote host closed the connection]
tufei__ has joined #ste||ar
<K-ballo>
real concepts aren't just booleans
<hkaiser>
K-ballo: c++20 concepts are, though
<K-ballo>
the concepts we got is just fancy sfinae + subsumption, a long long shot from what real concepts were supposed to be
<K-ballo>
almost, yeah..
<hkaiser>
K-ballo: happy new year, btw
<K-ballo>
yes
tufei_ has joined #ste||ar
tufei__ has quit [Remote host closed the connection]