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