Article View: pl.comp.objects
Article #16755Re: Groovy
From: Seweryn Habdank-Wojewódzki
Date: Sat, 12 May 2007 17:57
Date: Sat, 12 May 2007 17:57
28 lines
1696 bytes
1696 bytes
Witam Aleksander Galicki wrote: >> Dynamiczne to nie znaczy bez typowe. > > Sa. Ten papier to wyjasni: http://lucacardelli.name/Papers/TypeSystems.pdf Nie zgadzam się, z tym papierem. Ale jeśli tak postawimy definicję, to nie mogę zaprzeczyć. > A to zwiezle pokaze czym jest Dynamic typing: > http://lucacardelli.name/Drawings/DynamicTypecheck/PolyCandyCartoon.pdf Krótko mówiąc. typowe, czy bez typowe, to zależy od definicji. A grafika bardzo ładnie obrazuje ten rodzaj definiowania typowości. > PPS sam strzelilem orta: > charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne,charakterystyczne :-). Pozdrawiam. -- |\/\/| Seweryn Habdank-Wojewódzki \/\/
Technical Details
Message-ID:
<f24uvc$39e$2@news.vectranet.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.task.gda.pl!news.vectranet.pl!not-for-mailReferences:
<f1tdl6$2s4$1@inews.gazeta.pl> <f1tiet$pr5$1@news.vectranet.pl> <f1ttbs$jkr$1@inews.gazeta.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.task.gda.pl!news.vectranet.pl!not-for-mail From: Seweryn Habdank-Wojewódzki <shw_mail@wp.pl> Newsgroups: pl.comp.objects Subject: Re: Groovy Date: Sat, 12 May 2007 19:57:37 +0200 Organization: VectraNET - http://www.vectranet.pl Lines: 29 Message-ID: <f24uvc$39e$2@news.vectranet.pl> References: <f1tdl6$2s4$1@inews.gazeta.pl> <f1tiet$pr5$1@news.vectranet.pl> <f1ttbs$jkr$1@inews.gazeta.pl> Reply-To: shw_mail@wp.pl NNTP-Posting-Host: 82.139.21.12 Mime-Version: 1.0 X-Trace: news.vectranet.pl 1178992428 3374 82.139.21.12 (12 May 2007 17:53:48 GMT) X-Complaints-To: usenet@news.vectranet.pl NNTP-Posting-Date: Sat, 12 May 2007 17:53:48 +0000 (UTC) User-Agent: KNode/0.10.4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit