On Friday, 1 August 2014 at 22:05:04 UTC, Daniel Gibson wrote:
Yeah, it seems like assertion doesn't *have* to mean something like "promise"
I'd argue that it never really means "promise." It's a simple statement. In the sense of programming stating something that is incorrect will cause erroneous behavior, so you should be sure of your statements. In a sense, you "promise" your statements are correct otherwise you understand bugs will occur, but the assert itself isn't the promise you're making.
