-
X-Received: by 10.49.74.134 with SMTP id t6mr39790qev.14.1389792132100; Wed, 15 Jan
2014 05:22:12 -0800 (PST)
X-Received: by 10.49.74.134 with SMTP id t6mr39790qev.14.1389792132100; Wed, 15 Jan
2014 05:22:12 -0800 (PST)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!kk17no9765873pbb.0!news-out.
google.com!gg4ni4085qab.0!nntp.google.com!6no11551324qao.1!postnews.google.com!
glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 15 Jan 2014 05:22:11 -0800 (PST)
In-Reply-To: <3...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=89.67.189.218;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 89.67.189.218
References: <lb0plj$jfj$1@node2.news.atman.pl>
<1...@g...com>
<lb0rbd$l6n$1@node2.news.atman.pl>
<7...@g...com>
<lb0sk5$mgl$1@node2.news.atman.pl>
<9...@g...com>
<o...@4...com>
<a...@g...com>
<d...@g...com>
<c...@g...com>
<p...@n...chmurka.net>
<a...@g...com>
<3...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0...@g...com>
Subject: Re: pryszcze...
From: g...@g...com
Injection-Date: Wed, 15 Jan 2014 13:22:12 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:204936
[ ukryj nagłówki ]W dniu środa, 15 stycznia 2014 14:01:40 UTC+1 użytkownik Adam Klobukowski napisał:
> Podsumowując: statyczne jak i dynamiczne systemy typów
> mają swoje zady i walety. Porównywanie ich bez podawania
> konkretnych zastosowań nie ma sensu - inaczej będziesz
> pisał pakiet biurowy, inaczej sterownik niskopoziomowy
> a jeszcze inaczej firmware urządzenia.
Wydaje mi sie, ze taki poglad jest dosc powszechny,
ale nie do konca sluszny. Rzecz w tym, ze w istocie
rola systemu typow nie jest optymalizacja, tylko
zwiekszanie niezawodnosci oprogramowania.
Jezyk C jest pod tym wzgledem rzeczywiscie dosc
specyficzny, poniewaz system typow dodatkowo daje
pewna kontrole nad tym, w jaki sposob dane beda
zorganiozwane w pamieci. Ale to jest tylko przygodna
cecha tego akurat systemu typow, i wydaje mi sie,
ze ta cecha czesto wprowadza ludzi w blad dotyczacy
ogolnej roli systemow typow.
Dlatego dodawnie anotacji z typami w jezykach
typowanych dynamicznie, oraz narzedzi walidujacych
zgodnosc uzytych typow dla takich jezykow ma jak
najbardziej sens, i mam nadzieje, ze bedzie jak
najwiecej takich narzedzi (albo: ze tworcy jezykow
dynamicznych zaczna myslec, ze jak nie ich jezyki
nie maja statycznych type-checkerow, to troche
siara)
Następne wpisy z tego wątku
- 15.01.14 14:49 Adam Klobukowski
- 15.01.14 15:09 Maciej Sobczak
- 15.01.14 15:17 Maciej Sobczak
- 15.01.14 16:24 A.L.
- 16.01.14 06:59 Adam Klobukowski
- 16.01.14 08:48 Andrzej Jarzabek
- 16.01.14 08:51 Andrzej Jarzabek
- 16.01.14 09:51 Maciej Sobczak
- 16.01.14 12:40 firr
- 17.01.14 01:24 A.L.
- 17.01.14 01:31 bartekltg
- 17.01.14 02:46 Stachu 'Dozzie' K.
- 17.01.14 03:00 bartekltg
- 17.01.14 03:09 Stachu 'Dozzie' K.
- 17.01.14 03:39 bartekltg
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-27 Re: Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-06-27 A co mnie to koooorwa obchodzi?
- 2024-06-28 nawigacja satelitarna
- 2024-06-28 SmartLife/Tuya i osuszanie -- mordowanie z zimną krwią...
- 2024-06-27 położyłem kafelki
- 2024-06-28 Łódź => International Freight Forwarder <=
- 2024-06-28 Łódź => Spedytor Międzynarodowy <=
- 2024-06-28 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-06-28 Sopot => Team Leader E-Commerce for Foreign Markets <=
- 2024-06-28 Warszawa => Senior React Native Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Software .Net Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Programista Full Stack .Net <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=