Article View: pl.comp.lang.funkcyjne
Article #771Re: j. funkcyjne - jakie zastosowania?
From: RobertSzefler
Date: Wed, 04 Jan 2006 14:19
Date: Wed, 04 Jan 2006 14:19
18 lines
1912 bytes
1912 bytes
Marcin 'Qrczak' Kowalczyk wrote: > Tomasz Zielonka <tomasz.zielonka@gmail.com> writes: > > >>>- sprawdzanie typów (duużo prostsze bądź co bądź niż w Haskellu), >> >>W Haskellu jest to przynajmniej dobrze sformalizowane. > > Z punktu widzenia implementowania systemu typów Haskell 98 jest > o wiele prostszy niż C++. > > Problem w tym, że GHC ma wiele eksperymentalnych rozszerzeń systemu > typów, zwłaszcza dotyczących klas, nad których implementacją panuje > chyba tylko Simon Peyton Jones. Hmm. Nie byłbym taki pewny. A co, jeśli by zaimplementować, dla sprawiedliwości, typecheckera do C++ w Haskellu i do Haskella w Haskellu? Robił ktoś kiedyś coś takiego?
Technical Details
Message-ID:
<dpglif$1l9g$1@news2.ipartners.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!nf1.ipartners.pl!ipartners.pl!not-for-mailReferences:
<dpc61g$f0l$1@news.onet.pl> <dpdvtq$oss$1@nemesis.news.tpi.pl> <slrndrn602.61b.tomasz.zielonka@localhost.localdomain> <slrndrn661.61b.tomasz.zielonka@localhost.localdomain> <dpg8ns$52m$1@nemesis.news.tpi.pl> <slrndrnguv.6eu.tomasz.zielonka@localhost.localdomain> <dpghlc$1j3v$1@news2.ipartners.pl> <slrndrnj9i.6j9.tomasz.zielonka@localhost.localdomain> <87lkxw13v3.fsf@qrnik.zagroda>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!nf1.ipartners.pl!ipartners.pl!not-for-mail From: RobertSzefler <NOSPAMrszeflerNOSPAM@murator.com.pl> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: j. funkcyjne - jakie zastosowania? Date: Wed, 04 Jan 2006 15:19:59 +0100 Organization: Internet Partners Lines: 18 Message-ID: <dpglif$1l9g$1@news2.ipartners.pl> References: <dpc61g$f0l$1@news.onet.pl> <dpdvtq$oss$1@nemesis.news.tpi.pl> <slrndrn602.61b.tomasz.zielonka@localhost.localdomain> <slrndrn661.61b.tomasz.zielonka@localhost.localdomain> <dpg8ns$52m$1@nemesis.news.tpi.pl> <slrndrnguv.6eu.tomasz.zielonka@localhost.localdomain> <dpghlc$1j3v$1@news2.ipartners.pl> <slrndrnj9i.6j9.tomasz.zielonka@localhost.localdomain> <87lkxw13v3.fsf@qrnik.zagroda> NNTP-Posting-Host: intranet.murator.com.pl Mime-Version: 1.0 X-Trace: news2.ipartners.pl 1136384399 54576 217.153.39.22 (4 Jan 2006 14:19:59 GMT) X-Complaints-To: abuse@ipartners.pl NNTP-Posting-Date: 4 Jan 2006 14:19:59 GMT In-Reply-To: <87lkxw13v3.fsf@qrnik.zagroda> X-Accept-Language: en-us, en User-Agent: Mozilla Thunderbird 1.0 (Windows/20041206) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit