[e-lang] An attack on a mint

Sandro Magi naasking at higherlogics.com
Wed Mar 5 09:41:39 EST 2008


Karp, Alan H wrote:
> Literate programming can help here, but programmers need the discipline of changing the vernacular before changing the code.  That can be done but rarely is under time pressure.  What about pragma assertions?  They can be turned into compile time or run time checks of invariants.

How about an explicit "seq" object/function, which simply chains 
functions and/or operations together in sequence. That way sequencing is 
enforced in the code by the language's semantics, and anyone reading the 
code will understand that the sequencing was made explicit for a reason. 
It's a more explicit marker than comments.

Sandro


More information about the e-lang mailing list