Date: | Mon Aug 23 16:24:13 1993 | |
Subject: | assert/mishap_if | |
From: | scottw (Scott Wheeler) | |
Volume-ID: | 930823.04 |
> I think #_ENSURE has a nice feel to it .... !! Two points against: (i) "assertions" are already in the literature (I believe the terminology came into being in the late 60's as part of the retreat from program proving), and in most programming communities the vocabulary will be recognised (along with "contract", "pre-condition", and "post-condition"). ii) "#_ENSURE" suggests to me that the environment should change things to force the condition to be true. Scott Wheeler |