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.

--
Secunia non olet.
Stanislaw Klekot