Standard syntax for preconditions, postconditions, and invariants

[Bulat Ziganshin]

Hello Alan,

Thursday, October 19, 2006, 5:54:06 PM, you wrote:

> I propose that haskell' include a standard syntax for invariants that 
> the programmer wants to express.

> The intent is not to have standardized checks on the invariants, its
> just to supply a common way to specify invariants to that the various 
> strategies for checking them can all work from the same data. For 
> example, one tool might use the invariants to generate QuickCheck 
> properties

seems that it should be a sort of annotation, yes? so we again need to
define common annotation syntax and you can add this as one more
possible usage to annotations-proposal page

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com