On Aug 17, 3: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).

A tak żeby było ciekawiej, zapytam: po co rzutowanie [*]?
Udało mi się napisać parę programów bez rzutowania. W szczególności
"Hello World" nie używa rzutowania, ale dłuższe programy też się da.
Najwyraźniej mógłbym te programy napisać również w języku, który
rzutowania w ogóle nie ma.

Niebezpieczne rzutowanie może być potrzebne w języku, żeby na
współczesnych systemach operacyjnych zaimplementować dany język w tym
samym języku (np. bibliotekę i cały run-time C++ da się napisać w C+
+), albo ale to wymaganie nie musi być uzasadnione z punktu widzenia
"normalnego" programisty.

[*] Hint: jawne konwersje typów tu się nie zaliczają, bo są
bezpieczne. Mówimy o rzutowaniu typu reinterpret_cast, void* i tego
typu chwytach.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com