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.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!newsfeed2.atman.pl!newsfeed.atman.pl!.POSTED!not-for-mail
From: "b...@n...pl" <b...@n...pl>
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
Date: Fri, 19 Aug 2011 13:07:18 +0200
Organization: ATMAN - ATM S.A.
Lines: 19
Message-ID: <j2lg56$hio$1@node2.news.atman.pl>
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>
<e...@1...googlegroups.com>
NNTP-Posting-Host: 195.78.67.5
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: node2.news.atman.pl 1313752038 18008 195.78.67.5 (19 Aug 2011 11:07:18 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Fri, 19 Aug 2011 11:07:18 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.10) Gecko/20100624
Mandriva/3.0.5-0.1mdv2009.1 (2009.1) Thunderbird/3.0.5
In-Reply-To: <e...@1...googlegroups.com>
Xref: news-archive.icm.edu.pl pl.comp.programming:191994
[ ukryj nagłówki ]
On 19.08.2011 11:28, Andrzej Jarzabek wrote:
> 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.

Swoją droga podstawowy język nie ma rzutowania, a przynajmniej nie
słyszałem o rzutowaniu w asemblerze.

--
wer <",,)~~
http://szumofob.eu