News for hackers. Stuff that matters.

A comment on C++ Core Coroutines Proposal [pdf]. Parent comment

Re:C++ Core Coroutines Proposal [pdf] by pjmlp on Friday September 21, 2018 @12:24PM (#18040792)
There is no way to enforce that + actually implements the concept of adding two values.
[ Parent | on HN ]
Re:C++ Core Coroutines Proposal [pdf] by hood_syntax on Friday September 21, 2018 @01:05PM (#18041082)
With dependent types you can. I'm not aware of whether that proof is possible in Haskell, however.

Besides, that's not what I was saying. What I was saying it that + in Haskell means more than an overloaded operator. It means the type has access to additional methods. This gives you more information.

[ Parent | on HN ]
Re:C++ Core Coroutines Proposal [pdf] by pjmlp on Friday September 21, 2018 @01:13PM (#18041131)
In that case you get the same information on any usable C++ IDE.
[ Parent | on HN ]