[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