> 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.
Tak samo, inta do chara przez obciecie najbardziej znaczacych bitow.
Bez wzgledu na to czy robi to procesor, czy programista, czy moze
makroasembler cos wstawia.
Pozdrawiam


--
Wysłano z serwisu OnetNiusy: http://niusy.onet.pl