logoalt Hacker News

rramadasstoday at 4:31 PM2 repliesview on HN

What's terrible about the syntax? Using "[[require/ensure/invariant/proof/assert/etc.]]" is actually pretty neat.

And given that almost all C programmers are also C++ programmers, no mere syntax can faze us :-)


Replies

binaryturtletoday at 4:42 PM

In my own ranking of favourite programming languages C is at the first place. C++ comes in last. I personally hate it when people write C/C++ as if it's the very same thing. I'm quite sure there's more like me out there. :)

Interestingly Perl comes in second, even I use it rarely (aka not at all) these days. But that's a slightly off-topic side note. :)

show 3 replies
EPWN3Dtoday at 7:42 PM

> And given that almost all C programmers are also C++ programmers, no mere syntax can faze us :-)

This is... not true at all.