News for hackers. Stuff that matters.
Re:C++ Core Coroutines Proposal [pdf] by geezerjay on Friday September 21, 2018 @03:17AM (#18037762)
> It doesn't have async/await,

That's just a C# idiom, and far from being the right or sane way to handle concurrency.

Meanwhile C++ has active objects and futures and other concurrency design patterns.

> doesn't have a sane way to create simple web servers

Check POCO.

> doesn't have map/find/filter/etc on collections, at least not a version that won't span multiple lines or the whole screen because they require mandatory arguments (begin, end) that are useless 99% of the time because you want to operate on the whole collection anyway, etc.

That's a very silly complaint. You acknowledge that C++ does have map/find/filter (which at this stage is rather obvious to anyone who ever used C++) but somehow you're complaining that C++'s interfaces require programmers to specify where the collections should start and finnish.

Re:C++ Core Coroutines Proposal [pdf] by vardump on Friday September 21, 2018 @04:18AM (#18038039)
> but somehow you're complaining that C++'s interfaces require programmers to specify where the collections should start and finnish.

I think it is a valid complaint. Most of time you want to apply something like "find" to the whole collection.

I'd also love to have C++ standard maps (esp. unordered_map) where I only pay for what I use. Namely, due to C++ spec I have to pay for the nodes instead of having a flat, CPU cache efficient, buffer. In other words, a different map type where other items are allowed to move in memory when something is inserted or removed.

Oh, while we're at it, it'd be nice if vectors etc. could realloc instead of allocating a completely new memory region and freeing the old one when more space is required.

A more ergonomic allocator story for specifying alternative allocators would also be very nice for some niches, like when you need to avoid fragmentation or require better performance in embedded development.

Re:C++ Core Coroutines Proposal [pdf] by jcelerier on Friday September 21, 2018 @06:07AM (#18038526)
> I think it is a valid complaint. Most of time you want to apply something like "find" to the whole collection.

frankly, this is a very overstated problem. It's trivial to write a header with such functions (e.g. https://github.com/OSSIA/libossia/blob/master/OSSIA/ossia/de...). And it's already provided by Boost if you use it.

Re:C++ Core Coroutines Proposal [pdf] by vardump on Friday September 21, 2018 @08:44AM (#18039258)
Yeah, it's trivial to do that.

But since it's not in STL, everyone will use a bit different implementations for something this mundane and common.

Re:C++ Core Coroutines Proposal [pdf] by wsy on Friday September 21, 2018 @12:14PM (#18040729)
I'd rather say, (mostly) everybody will use Boost.
Re:C++ Core Coroutines Proposal [pdf] by pas on Saturday September 22, 2018 @06:33AM (#18045406)
Or folly. Or something else. Which leads to the awful package management story. (Maybe modules will help.)
Re:C++ Core Coroutines Proposal [pdf] by michal_f on Friday September 21, 2018 @08:24AM (#18039158)
Re:C++ Core Coroutines Proposal [pdf] by BurnGpuBurn on Friday September 21, 2018 @04:47AM (#18038158)
Memory allocation by STL has been broken for as long as I remember, which is at least twelve years or so. It's been a while but if I remember correctly it doubled its allocation every time it ran out or space.
Re:C++ Core Coroutines Proposal [pdf] by jcelerier on Friday September 21, 2018 @06:06AM (#18038518)
> It's been a while but if I remember correctly it doubled its allocation every time it ran out or space.

why would you call this "broken" ? That's one of the most optimal solutions for reallocations if you append values continuously, since it will reallocate only logarithmically.

Re:C++ Core Coroutines Proposal [pdf] by EpicEng on Friday September 21, 2018 @11:31AM (#18040417)
Which libs _don't_ use that allocation strategy? The fact that you think it's broken only means you don't really know what you're talking about.
Re:C++ Core Coroutines Proposal [pdf] by gmadsen on Friday September 21, 2018 @07:28AM (#18038883)
what? ha, that is the text book approach to reallocating an array for additional values to get log complexity
Re:C++ Core Coroutines Proposal [pdf] by vardump on Friday September 21, 2018 @08:01AM (#18039035)
I'm not so sure I'd want a 2GB vector to grow to 4GB, etc.
Re:C++ Core Coroutines Proposal [pdf] by ChrisSD on Friday September 21, 2018 @08:29AM (#18039182)
In such extreme cases you can (and should) use your own allocation strategy.
Re:C++ Core Coroutines Proposal [pdf] by vardump on Friday September 21, 2018 @08:41AM (#18039234)
Yeah, but I'm not entirely clear how I'd for example get std::vector to use a mmap'ed range, that I could zero-copy grow.

Also in that case I might want to grow it by a fixed amount, once it grows past a certain threshold.

It's a shame one needs to write another vector implementation just for that.

Re:C++ Core Coroutines Proposal [pdf] by ChrisSD on Friday September 21, 2018 @08:46AM (#18039266)
Why wouldn't writing an allocator class be enough for mmap?
Re:C++ Core Coroutines Proposal [pdf] by BeeOnRope on Friday September 21, 2018 @12:21PM (#18040769)
Probably not, because the allocators don't expose the "extend" or "realloc" concept, so all you'll see from within your allocator is a request for an entire new region that vector wants in order to copy the new stuff into.

To implement a growing allocation , you'll have to create a custom vector, pretty much.

Re:C++ Core Coroutines Proposal [pdf] by Timmah on Friday September 21, 2018 @12:19PM (#18040755)
How would you ensure nothing was used in the region after the original allocation?
Re:C++ Core Coroutines Proposal [pdf] by dbaupp on Friday September 21, 2018 @08:21AM (#18039142)
O(n^2) time for n push_back calls would be worse, so some sort of multiplication/exponential growth is required for the "fits all" default vector and its default growth strategy.
Re:C++ Core Coroutines Proposal [pdf] by BeeOnRope on Friday September 21, 2018 @12:23PM (#18040783)
Old versions of MSVC used a 3/2 growth factor which led to less extreme jumps for large vectors, although also a lot more copies when filling a small vector. I'm not sure if that's still true.
Re:C++ Core Coroutines Proposal [pdf] by jhasse on Friday September 21, 2018 @08:11AM (#18039082)
Why not?
Re:C++ Core Coroutines Proposal [pdf] by mortehu on Friday September 21, 2018 @07:41PM (#18043481)
I think you mean amortized constant complexity, or O(1).
Re:C++ Core Coroutines Proposal [pdf] by NullPrefix on Friday September 21, 2018 @05:21AM (#18038331)
this is implementation specific. Care to tell which compiler are you talking about?
Re:C++ Core Coroutines Proposal [pdf] by mschuetz on Friday September 21, 2018 @06:05AM (#18038514)
> That's just a C# idiom

Not just C#, Python and JS also have it already. And async-await is the first time ever where I've thought that yes, this is a good way to do single-threaded async (event-queue-ish) or even multi-threaded things.

> Check POCO.

Thanks for the hint, I will check it out.

> but somehow you're complaining that C++'s interfaces require programmers to specify where the collections should start and finnish.

Take a look at: http://www.modernescpp.com/index.php/higher-order-functions The c++ functions are unnecesarely verbose compared to other languages.

This

    transform(vec.begin(), vec.end(), vec.begin(),[](int i){
        return i*i;
    });
could be much more readable as

    vec.map([](int i){ 
        return i*i;
    });
Also makes for-of the better choice in my opinion because if you're going to write more code, I'd rather write code that is readable.
Re:C++ Core Coroutines Proposal [pdf] by hhmc on Friday September 21, 2018 @11:41AM (#18040480)
Those examples aren't really the same though. Transform is a free function which operates on anything that satisfies 'ForwardIterator', map would be a member function of the vector class.

Theoretically you could add helper functions to all suitable containers which calls through to transform (I think this is what you're suggesting). But it would feel very heavyweight and add a lot of cruft to the std library.

You could also add your own utlity free function similar to

  template<class T, class F>
  void mymap(T &t, const F &f){
      std::transform(t.begin(), t.end(), t.begin(), f);
  }
Re:C++ Core Coroutines Proposal [pdf] by geezerjay on Friday September 21, 2018 @02:58PM (#18041859)
> could be much more readable as vec.map([](int i){ return i*i; });

That, however, violates the separation of concerns principle by mangling together data structures and algorithms.

Re:C++ Core Coroutines Proposal [pdf] by __s on Friday September 21, 2018 @08:20AM (#18039140)
Rust is also getting async/await
Re:C++ Core Coroutines Proposal [pdf] by steveklabnik on Friday September 21, 2018 @09:01AM (#18039348)
Which de-sugars to generators, which is similar to, but different from, the various C++ coroutine proposals. I haven’t dug into this one yet though...

It’s going to be pretty important for us: http://aturon.github.io/2018/04/24/async-borrowing/

Re:C++ Core Coroutines Proposal [pdf] by BeeOnRope on Friday September 21, 2018 @12:24PM (#18040794)
What you want is ranges v3.
Re:C++ Core Coroutines Proposal [pdf] by aaaaaaaaaab on Friday September 21, 2018 @07:17AM (#18038827)
Re:C++ Core Coroutines Proposal [pdf] by Timmah on Friday September 21, 2018 @12:24PM (#18040796)
That only saves a few characters. And "map" is already a data type in C++. How are you going to explain to a student that ambiguity, that you can "map a vector, but oh yeah map is also this container type" ?

Conceptually, I hate the word "map" to describe a transform. What does a real-world, paper map do? It associates locations drawn on the paper with real-world, physical places. That doesn't have any commonality whatsoever to morphing a group of objects. The term is misused.

Re:C++ Core Coroutines Proposal [pdf] by mschuetz on Saturday September 22, 2018 @01:25PM (#18046892)
It removes enough characters to turn it from unreadable mess to legible code. Point is mainly to remove the 3 completely unnecessary parameters, doesn't matter if it's called transform or map.