Article View: pl.comp.programming
Article #205306Re: Co sie tu dzieje?...
From: Wojciech Muła
Date: Fri, 26 Apr 2013 16:11
Date: Fri, 26 Apr 2013 16:11
22 lines
2561 bytes
2561 bytes
On Thursday, April 25, 2013 7:19:00 PM UTC+2, A. L. wrote: > Jeszcze ktos mnie musi pzrekonacze to jest "SILNY" system typow M.in. bez konwersji domyślnych, jak w Adzie. W Go zresztą typy są identyfikowane przez nazwę, jak w Adzie, czy SML-u. W przeciwieństwie do C/C++ gdzie brana jest pod uwagę struktura. > Optymalizacja robiona pzrez uzytkownika maniespecjalnie wiele > wspolnego z optymalizacja robiona pzrez kompilator. Pardąsik, niejasno się wyraziłem. Miałem na myśli to, że kompilacja jest robiona raz, u producenta. JIT obciąża końcowego użytkownik, przysłowiowego Kowalskiego. > Co wiecej, optymalziacja "po wierzchu" mzoe spowodowac bledy, na > przykald zmienic pozadany sposob obliczania wyrazen arytmetycznych > (rozstawienie nawiasow itede). Widziałeś http://compcert.inria.fr/? Kompilator (podzbioru) C, który formalnie dowodzi, że po swoich optymalizacjach nie zmienił semantyki. w.
Technical Details
Message-ID:
<8b7bee2a-7682-43eb-99dd-3fae82a0177a@googlegroups.com>Path:
mbox-mo1.pugleaf.net!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!feeder.erje.net!us.feeder.erje.net!news.ripco.com!news.glorb.com!gp5no7232061qab.0!news-out.google.com!ef9ni16888qab.0!nntp.google.com!gp5no7232058qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<3rrbn85nv2btd2954n8msmp3ca02fbhljd@4ax.com> <e3f7ddf9-c1f9-445c-94a9-039fd74a05c2@googlegroups.com> <cj6dn8tqjh1b88pb9etke84tilc2qtftbf@4ax.com> <9318dafe-e85c-4ebd-905b-2628ad89160f@googlegroups.com> <qpndn8d1kq562bmcj5ujfvl1p3la9v7nkl@4ax.com> <0de7745f-aa20-472f-be87-791cbd5f0333@googlegroups.com> <c5pin81327mvbnl22oiueobmn5kd8hript@4ax.com>Show Full Headers
Complete Article Headers
X-Received: by 10.224.88.200 with SMTP id b8mr30823082qam.8.1366992684234; Fri, 26 Apr 2013 09:11:24 -0700 (PDT) X-Received: by 10.49.96.100 with SMTP id dr4mr3911979qeb.20.1366992684210; Fri, 26 Apr 2013 09:11:24 -0700 (PDT) Path: mbox-mo1.pugleaf.net!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!feeder.erje.net!us.feeder.erje.net!news.ripco.com!news.glorb.com!gp5no7232061qab.0!news-out.google.com!ef9ni16888qab.0!nntp.google.com!gp5no7232058qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Fri, 26 Apr 2013 09:11:24 -0700 (PDT) In-Reply-To: <c5pin81327mvbnl22oiueobmn5kd8hript@4ax.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=79.162.18.153; posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn NNTP-Posting-Host: 79.162.18.153 References: <3rrbn85nv2btd2954n8msmp3ca02fbhljd@4ax.com> <e3f7ddf9-c1f9-445c-94a9-039fd74a05c2@googlegroups.com> <cj6dn8tqjh1b88pb9etke84tilc2qtftbf@4ax.com> <9318dafe-e85c-4ebd-905b-2628ad89160f@googlegroups.com> <qpndn8d1kq562bmcj5ujfvl1p3la9v7nkl@4ax.com> <0de7745f-aa20-472f-be87-791cbd5f0333@googlegroups.com> <c5pin81327mvbnl22oiueobmn5kd8hript@4ax.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8b7bee2a-7682-43eb-99dd-3fae82a0177a@googlegroups.com> Subject: Re: Co sie tu dzieje?... From: Wojciech Muła <wojtek.mula@gmail.com> Injection-Date: Fri, 26 Apr 2013 16:11:24 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit