Article View: pl.comp.objects
Article #16733Re: Groovy
From: Adam Karpierz
Date: Thu, 10 May 2007 03:35
Date: Thu, 10 May 2007 03:35
26 lines
1802 bytes
1802 bytes
Uzytkownik "A.L." <fela@2005.com> napisal: >>Jest to warunek konieczny, ale nie wystarczajacy. >> >>AK >> > > Owszem. W Pythonie weryfikacje formalna robi sie prosciej i > przyjemniej. Mam pana traktowac powaznie ? _Gdzie_ ja pisalem o Pythonie choc slowo ? Sam Pan dal dowod ze Java to inny swiat bo mozna w niej weryfikowac poprawnosc programoow a gdy ja o tym pisalem to Pan mi zarzucal ze Java to zaden "inny swiat" bo to _tylko_ lepszy Pascal. Konsekwensji pozazdroscic :). Teraz gdy zaznaczylem ze w/w warunek nie jest wystarczajacy - co chyba jasno sugeruje ze zarowno Java jak i C++ jak i C# tez nie moga byc werifikowalne bo nastepnym z warunkow jest chocby _szczelnosc_ systemu typow (a te jezyki jej nei posiadaja) - Pan tu wyjezdza z Pythonem nie wiadomo skad. AK
Technical Details
Message-ID:
<f1u3um$41p$1@inews.gazeta.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mailReferences:
<f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com> <f1toki$9an$1@inews.gazeta.pl> <lru443h31hppmlgflj6l5oa3cu9md3knv7@4ax.com>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail From: "Adam Karpierz" <karpierz@_NOSPAM_python.pl> Newsgroups: pl.comp.objects Subject: Re: Groovy Date: Thu, 10 May 2007 05:35:45 +0200 Organization: "Portal Gazeta.pl -> http://www.gazeta.pl" Lines: 28 Message-ID: <f1u3um$41p$1@inews.gazeta.pl> References: <f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com> <f1toki$9an$1@inews.gazeta.pl> <lru443h31hppmlgflj6l5oa3cu9md3knv7@4ax.com> NNTP-Posting-Host: dns.welnowiec.net X-Trace: inews.gazeta.pl 1178768150 4153 83.143.96.1 (10 May 2007 03:35:50 GMT) X-Complaints-To: usenet@agora.pl NNTP-Posting-Date: Thu, 10 May 2007 03:35:50 +0000 (UTC) X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028 X-Priority: 3 X-RFC2646: Format=Flowed; Original X-Newsreader: Microsoft Outlook Express 6.00.2900.3028 X-User: karpierz X-MSMail-Priority: Normal MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit