| ▲ | quotemstr 2 hours ago | |
Huh? Concepts are types of types. Contracts are fancier, structured runtime assertions. What does one have to do with the other? They're nothing alike. | ||
| ▲ | taybin an hour ago | parent | next [-] | |
They both start with the letter C, have two syllables, and have/had a hard time getting into the standard. If you’re not paying close attention, it’s easy to get them confused. | ||
| ▲ | jandrewrogers 2 hours ago | parent | prev | next [-] | |
That’s exactly my point. Contracts notionally offer the ability to lift some runtime assertions to compile-time. That is how it was sold. Except they don’t in practice. Meanwhile, concepts + constexpr if used artfully deliver that in practice, including for many cases that contracts were supposed to solve. I push all verification to compile-time to the extent possible. | ||
| ▲ | rramadass 2 hours ago | parent | prev [-] | |
Absolutely Right! - https://news.ycombinator.com/item?id=50361435 | ||