Re: jaki wybrac jezyk? - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › jaki wybrac jezyk? › Re: jaki wybrac jezyk?

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!feeder2.cambriumusenet.nl!feed.tweaknews.nl!209.197.12.242.MISMATCH!nx01.
iad01.newshosting.com!newshosting.com!newsfeed.neostrada.pl!unt-exc-02.news.neo
strada.pl!unt-spo-a-02.news.neostrada.pl!news.neostrada.pl.POSTED!not-for-mail
Content-Type: text/plain; charset=iso-8859-2; format=flowed; delsp=yes
Newsgroups: pl.comp.programming
Subject: Re: jaki wybrac jezyk?
References: <2...@v...googlegroups.com>
<5...@n...onet.pl>
<a...@e...googlegroups.com>
<op.vz9ot2qr8x7o78@notebook>
<3...@h...googlegroups.com>
<j2d2k9$q10$1@news.onet.pl>
<3...@m...googlegroups.com>
<j2fm3d$q1a$1@news.onet.pl> <s...@j...net>
<j2g3i0$j3j$1@news.onet.pl> <s...@j...net>
<j2gdhq$oa$1@news.onet.pl> <s...@j...net>
<j2gfpq$a7e$1@news.onet.pl> <s...@j...net>
<o...@a...home> <s...@j...net>
Date: Wed, 17 Aug 2011 17:08:24 +0200
MIME-Version: 1.0
Content-Transfer-Encoding: Quoted-Printable
From: "Jordan Szubert" <u...@j...us.to>
Organization: HELL inc.
Message-ID: <o...@a...home>
User-Agent: Opera Mail/11.50 (Win32)
Lines: 44
NNTP-Posting-Host: 83.26.233.254
X-Trace: 1313593719 unt-rea-a-02.news.neostrada.pl 2505 83.26.233.254:55451
X-Complaints-To: a...@n...neostrada.pl
Xref: news-archive.icm.edu.pl pl.comp.programming:191974
[ ukryj nagłówki ]
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