Re: Hoare's gripes about Ada (should be so what)

[pipex!sunic!news.lth.se!dag@uunet.uu.net (Dag Bruck)]

In <comp.lang.ada> dewar@cs.nyu.edu (Robert Dewar) writes:
>.... I have to report to you that in the Ada world, we are quite
>interested in correct reliable programs.
>
>Consequently, I am afraid that the judges will have to reject your 
>submission in the "shortest search contest". 

Dear Sirs,

I kindly ask you to reconsider my submission with the following
motivation.

I claim that my program is intuitively and _provably_ correct for a
semi-infinite number of inputs, i.e., those already sorted.  I also
hope that the structure of my program lends itself to automated
correctness proving.  This is a in my view a great asset over many
other algorithms that are very hard, or impossible, to _prove_
correct.

You should also take into consideration the significant practical
advantages of the code:

	- easy to understand
	- fits on one page
	- easy to maintain
	- runtime efficient

Sorting routine follows:

	.... IS
	    NULL;
	END;

Best regards,


Dag M. Bruck
C++ programmer, LSD is no fun