Re: jaki wybrac jezyk? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › jaki wybrac jezyk? › Re: jaki wybrac jezyk?

Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!news.nask.pl!ne
ws.nask.org.pl!goblin1!goblin.stu.neva.ru!postnews.google.com!19g2000vbv.google
groups.com!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
Date: Fri, 19 Aug 2011 02:28:55 -0700 (PDT)
Organization: http://groups.google.com
Lines: 12
Message-ID: <e...@1...googlegroups.com>
References: <2...@v...googlegroups.com>
<5...@n...onet.pl>
<a...@e...googlegroups.com>
<op.vz9ot2qr8x7o78@notebook>
<3...@h...googlegroups.com>
<j2d2k9$q10$1@news.onet.pl>
<3...@m...googlegroups.com>
<j2fm3d$q1a$1@news.onet.pl> <s...@j...net>
<j2g3i0$j3j$1@news.onet.pl> <s...@j...net>
<j2gdhq$oa$1@news.onet.pl> <s...@j...net>
<j2gfpq$a7e$1@news.onet.pl>
NNTP-Posting-Host: 195.11.67.225
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1313749848 2534 127.0.0.1 (19 Aug 2011 10:30:48 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Fri, 19 Aug 2011 10:30:48 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: 19g2000vbv.googlegroups.com; posting-host=195.11.67.225;
posting-account=jr5y-woAAAAWidgVjrSJ6j8m650CTb-v
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: CUHRALSENK
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.1 (KHTML, like
Gecko) Chrome/13.0.782.112 Safari/535.1,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:191992
[ ukryj nagłówki ]
On Aug 17, 2:30 pm, Michal Kleczek <k...@p...onet.pl> wrote:
>
> Przy takim podejsciu to zaden jezyk nie ma, bo chyba (tutaj - fakt -
> potrzebuje wsparcia mocniejszych teoretykow) nie da sie zrobic jezyka
> "turing complete" bez operacji "unsafe" czyli nieweryfikowalnych
> statycznie (takich jak rzutowanie).

Musiałbyś bardziej dodefioniować, co uważasz, za operację unsafe. Na
pewno da się zrobic język Turing complete bez rzutowania. Banalny
przykład: Uniwaersalna Maszyna Turinga ma tylko jeden typ danych, więc
żadnego rzutowania nie ma, a z definicji jest Turing complete.