Re: List of Negative Language rules?

["Vasiliy Molostov" <molostoff@gmail.com>]

Patrick <patrick@spellingbeewinnars.org> писал(а) в своём письме Sun, 05  
Aug 2012 18:39:42 +0400:


> Does anyone happen to know if there is a list of negative language  
> rules? If not I could try to re-read the book and compile a list. I  
> think it would make for a good cheat sheet to paste to the wall to avoid  
> programming errors.

Rationale should be a good reading.

In general, a language element, being an universal atomic part of a mosaic  
composed of such elements, provides you with ability to picture possibly  
any application, but to follow such universality each one should conform  
to some ruling.

The thing here is similar to fractal seed definition. without such  
definition a diversity of resulting fractals will not grow. This means  
that you will restrict yourself in application design up to inability to  
express your desired application.

To enumerate seeds with incorrect fractal definition (your case) you  
should accept that their count can be close to equal to all possible  
diversity of resulting fractals minus those are the correct ones and are  
what you have decided as appropriate to you. I dont know which is  
appropriate to you, but suppose that Ada is appropriate too, and with Ada  
rules you can get mostly working (meaningful) error-free application.

With functions having out (or in out) parameters you will not be able to  
write expressions without side effects, since these will break elementary  
algebra ruling, for example the order of evaluation becomes inconsistent  
with what you have wrote, and this gives you (and possibly another reader)  
incorrect reading and ability to search these breaks forever, which is not  
you might want. Ada is aimed to prevent incorrect reading, e.g. a  
'readability' kind.

BTW, you can still use 'access' type parameters in functions instead  
(which is the same as 'in out').

ps. perhaps this is too abstruse, sorry for that.

-- 
Написано в почтовом клиенте браузера Opera: http://www.opera.com/mail/