19 Oct
2006
19 Oct
'06
2:30 p.m.
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@gmail.com