-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.POSTED!not-for
-mail
From: Michal Kleczek <k...@p...onet.pl>
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
Date: Fri, 19 Aug 2011 13:01:01 +0200
Organization: http://onet.pl
Lines: 21
Message-ID: <j2lfpg$og4$1@news.onet.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: 87-205-167-193.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.onet.pl 1313751665 25092 87.205.167.193 (19 Aug 2011 11:01:05 GMT)
X-Complaints-To: n...@o...pl
NNTP-Posting-Date: Fri, 19 Aug 2011 11:01:05 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:6.0) Gecko/20110812
Thunderbird/6.0
In-Reply-To: <e...@1...googlegroups.com>
Xref: news-archive.icm.edu.pl pl.comp.programming:191993
[ ukryj nagłówki ]On 2011-08-19 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.
Jak pisalem wczesniej - ktos przydalby sie madrzejszy ode mnie w tej
dysusji. Ale w mojej ciemnocie wydaje mi sie ze na podstawie tw Rice'a -
nic nietrywialnego (a wiec sensownego z punktu widzenia statycznej
weryfikacji programu) o takiej maszynie nie daje sie powiedziec. W koncu
o kazdej maszynie turinga mozna powiedziec, ze "czyta symbole alfabetu".
--
Michal
Następne wpisy z tego wątku
- 19.08.11 11:07 b...@n...pl
- 19.08.11 20:05 Zbigniew Malec
- 19.08.11 20:06 Zbigniew Malec
- 19.08.11 21:47 m...@t...pl
- 20.08.11 06:17 p...@p...onet.pl
- 24.08.11 09:45 Michoo
- 24.08.11 10:37 Edek
- 24.08.11 11:45 Michoo
- 24.08.11 11:55 Maciej Sobczak
- 24.08.11 11:56 Stachu 'Dozzie' K.
- 24.08.11 12:09 Paweł Kierski
- 24.08.11 12:58 Edek
- 24.08.11 21:11 Maciej Sobczak
- 26.08.11 15:37 m...@t...pl
- 20.09.11 23:12 Edek
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-27 Re: Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-06-27 SAMOCHODY ELEKTRYCZNE: EKOLOGICZNA HIPOKRYZJA CZY EKONOMICZNA GŁUPOTA? | GOSPODARCZE ZERO #21
- 2024-06-27 Głośnik piezoelektryczny
- 2024-06-23 Mala autonomiczna kamera monitoringu
- 2024-06-26 czas na emeryturę i EB
- 2024-06-26 Wyjścia video kart graficznych (NVIDIA)
- 2024-06-27 Warszawa => Key Account Manager <=
- 2024-06-27 Bażanowice => Expert Migration Architect (Azure) <=
- 2024-06-27 Ulm => IT Netzwerktechniker (m/w/d) <=
- 2024-06-27 Warszawa => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-06-27 Warszawa => Head of International Freight Forwarding Department <=
- 2024-06-26 Kraków => International freight forwarder <=
- 2024-06-26 Częstochowa => Marketing Specialist (E-Commerce) <=
- 2024-06-26 Warszawa => Fullstack Java Developer <=
- 2024-06-26 Warszawa => React Native Developer <=