Article View: pl.comp.objects
Article #16732Re: Groovy
From: A.L.
Date: Thu, 10 May 2007 01:55
Date: Thu, 10 May 2007 01:55
18 lines
1129 bytes
1129 bytes
On Thu, 10 May 2007 02:22:37 +0200, "Adam Karpierz" <karpierz@_NOSPAM_python.pl> wrote: >Uzytkownik "A.L." <fela@2005.com> napisal: > >> SparkAda umozliwia formalna weryfikacje programow >> w jezyku Ada, wlasnie w oparciu o te statyczne typy: > >Jest to warunek konieczny, ale nie wystarczajacy. > >AK > > Owszem. W Pythonie weryfikacje formalna robi sie prosciej i przyjemniej. A.L.
Technical Details
Message-ID:
<lru443h31hppmlgflj6l5oa3cu9md3knv7@4ax.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!news.germany.com!sn-xt-sjc-03!sn-xt-sjc-09!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mailReferences:
<f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com> <f1toki$9an$1@inews.gazeta.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!news.germany.com!sn-xt-sjc-03!sn-xt-sjc-09!sn-post-sjc-01!supernews.com!corp.supernews.com!not-for-mail From: A.L. <fela@2005.com> Newsgroups: pl.comp.objects Subject: Re: Groovy Date: Wed, 09 May 2007 20:55:40 -0500 Organization: Posted via Supernews, http://www.supernews.com Message-ID: <lru443h31hppmlgflj6l5oa3cu9md3knv7@4ax.com> References: <f1tdl6$2s4$1@inews.gazeta.pl> <c5g443ll419v14af73ablf2f7iotp139r2@4ax.com> <f1toki$9an$1@inews.gazeta.pl> X-Newsreader: Forte Agent 4.2/32.1117 MIME-Version: 1.0 X-Complaints-To: abuse@supernews.com Lines: 18 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit