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.