Re: Co sie tu dzieje?... - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Co sie tu dzieje?... › Re: Co sie tu dzieje?...

X-Received: by 10.49.96.100 with SMTP id dr4mr3911979qeb.20.1366992684210; 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: 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.rip
co.com!news.glorb.com!gp5no7232061qab.0!news-out.google.com!ef9ni16888qab.0!nnt
p.google.com!gp5no7232058qab.0!postnews.google.com!glegroupsg2000goo.googlegrou
ps.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Fri, 26 Apr 2013 09:11:24 -0700 (PDT)
In-Reply-To: <c...@4...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=79.162.18.153;
posting-account=VFwkXwoAAADdT4-lLKRZrMYkTjizGoyn
NNTP-Posting-Host: 79.162.18.153
References: <3...@4...com>
<e...@g...com>
<c...@4...com>
<9...@g...com>
<q...@4...com>
<0...@g...com>
<c...@4...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8...@g...com>
Subject: Re: Co sie tu dzieje?...
From: Wojciech Muła <w...@g...com>
Injection-Date: Fri, 26 Apr 2013 16:11:24 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:202871
[ ukryj nagłówki ]
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.