4 ms·
Can you summarize what you found convincing about his presentation? The narrative of the presentation is him focusing on a case where they don't work and tries
by enqk 11y ago
Can you summarize what you found convincing about his presentation?
The narrative of the presentation is him focusing on a case where they don't work and tries to claim they never work. His pretty brash conclusions do not follow from his "demonstration"
- qznc 11y agoI tried to document my insight here: http://beza1e1.tuxen.de/articles/interface_fail.html http://beza1e1.tuxen.de/articles/interface_fail.html Concepts probably work for 80% of the cases and you can work around the rest intuitively. On the other hand, we might not have realized how some algorithms can be written even more generic with "static if".
- enqk 11y agoReally cool of you to document your insights, I wish more people would do that :)
- qznc 11y agoThanks. That is one of the essential elements of blogging for me. It allows me to link to larger text from short comments. ;)
- enqk 11y agoI revisited the concepts pdf (which can be found in the original post) and it has a `requires` statement, which allows to combine multiple constraints on the types of a templated construction. This would allow to write (your `Cloneable Iterator` idea) template <ForwardIterator T> requires CopyConstructible<T> void copy(T a, T b) Java Interfaces and C++ Concepts: the later being much more open, and Java interfaces being closed under types (C++ requires statement can have boolean const expressions in them) I think the definition of good concepts is going to be hard that is for sure, however when one find a good one (one that can be shared within a programming community the way mathematical concepts are shared) then it will convey just the right amount of information for a community to understand the code they share.