Dnia 17-08-2011 o 16:16:54 Stachu 'Dozzie' K.
<d...@g...eat.some.screws.spammer.invalid> napisał(a):

> On 2011-08-17, Jordan Szubert <u...@j...us.to> wrote:
>> Dnia 17-08-2011 o 15:39:36 Stachu 'Dozzie' K.
>> <d...@g...eat.some.screws.spammer.invalid> napisał(a):
>>
>> [...]
>>> Przepraszam, ale dlaczego w Adzie się dało zrobić poprawnie silny
>>> system
> ^^^^^^^^^^^^
>>> typów? Dlaczego dało się w Haskellu i SML-u? Nie wyskakuj mi więc
> ^^^^^
>>> z pomysłem że rzutowanie jest ogólnie niebezpieczną operacją,
^^^^^^^^^^
>>> niemożliwą do weryfikacji podczas kompilacji, bo nie jest.
>>
>> Haskell ma rzutowanie? jak wygląda?
> Czytać do skutku.

Czyli nie chciałeś sugerować, że Haskell jest przykładem bezpiecznego
rzutowania (a IMO jest uzasadniona interpretacja zacytowanego fragmentu),
a jedynie porządnego systemu typów?
To się zgadzam, na pożegnanie prosząc (z ciekawości jedynie, nie dlatego,
iżbym nie wierzył, że może istnieć) o opis, jak działa porządne/bezpieczne
rzutowanie.

--
Jordan Szubert