Re: Jaki język polecić początkującemu? - komentarz do artykułu w Programista 9/2018

eGospodarka.pl › Grupy › pl.comp.programming › Jaki język polecić początkującemu? - komentarz do artykułu w Programista 9/2018 › Re: Jaki język polecić początkującemu? - komentarz do artykułu w Programista 9/2018

X-Received: by 2002:a0c:8b4c:: with SMTP id d12mr131464qvc.3.1547189855649; Thu, 10
Jan 2019 22:57:35 -0800 (PST)
X-Received: by 2002:a0c:8b4c:: with SMTP id d12mr131464qvc.3.1547189855649; Thu, 10
Jan 2019 22:57:35 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!fu-berlin.de!v55no864793qtk.0!news-out.
google.com!m21ni512qta.0!nntp.google.com!v55no864784qtk.0!postnews.google.com!g
legroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 10 Jan 2019 22:57:35 -0800 (PST)
In-Reply-To: <5...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.86;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.84.86
References: <c...@g...com>
<f...@g...com>
<a...@g...com>
<7...@g...com>
<a...@g...com>
<6...@g...com>
<0...@g...com>
<a...@g...com>
<1...@g...com>
<e...@g...com>
<6...@g...com>
<1...@g...com>
<2...@g...com>
<5...@g...com>
<9...@g...com>
<1...@g...com>
<8...@g...com>
<d...@g...com>
<a...@g...com>
<c...@g...com>
<6...@g...com>
<3...@g...com>
<a...@g...com>
<a...@g...com>
<5...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4...@g...com>
Subject: Re: Jaki język polecić początkującemu? - komentarz do artykułu w
Programista 9/2018
From: Maciej Sobczak <s...@g...com>
Injection-Date: Fri, 11 Jan 2019 06:57:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:213240
[ ukryj nagłówki ]
> Uważam, że problemem jest to, że masz dwie dopuszczalne
> interpretacje

No właśnie. I to jest ten błąd w języku. Więc zróbmy tak, żeby była tylko jedna, np.
taka:

y = x
update y
assert(y != y'old => x != y)

To powyżej czasem działa a czasem nie działa, zależnie od tego jaki typ się trafi.
Tymczasem dla mnie powyższy zapis jest generyczny, jest czymś w rodzaju aksjomatu i
powinno działać zawsze. Albo, jeśli wolisz, nigdy (ale wtedy marnie widzę
programowanie w takim języku). W przeciwnym razie nie wiem, na czym stoję.

--
Maciej Sobczak * http://www.inspirel.com