On Tue, 15 Nov 2011 16:58:26 +0100, A.L. <l...@a...com> wrote:

[...]

> Owszem, byloby dobrze aby narzedzia do generacji kodu istnialy, ale
> musialyby byc oparte na scislych metodach formalnych a nei na
> rozgadanym belkocie. Jezyk Z byl kiedys uwazany za taka propozycje,
> ale jest on nie do przeskoczenia dla "specjalistow komputerowych"
> majacych klopoty z matematyka w zakresie ulamkow i czterech dzialan

Z jest oparte na teorii zbiorów Zermero-Frankla, przez co jego moc
ekspresji
jest mniejsza od mocy języka programowania kompletnego w sensie Turinga.
Co oczywiście nie jest wadą, ale stanowi przesłankę do tego, by twierdzić,
że Z nie jest panaceum.