On Sun, Nov 09, 2014 at 09:57:21PM +0000, eles via Digitalmars-d-learn wrote: > On Sunday, 9 November 2014 at 16:31:46 UTC, bearophile wrote: > >H. S. Teoh: > > > >>It's only a bad idea because people abuse assert() where it's not > >>appropriate. > > > >It's a bad idea because Walter seems unable to understand the > >difference between verifying and proving. > > I fail to see the difference between assert() and a hypothetical > assume().
The original meaning of assert() is what assume() means nowadays, whereas nowadays what people think of as assert() is actually what enforce() does in Phobos. T -- In order to understand recursion you must first understand recursion.
