Article View: pl.comp.lang.funkcyjne
Article #764Re: j. funkcyjne - jakie zastosowania?
From: RobertSzefler
Date: Wed, 04 Jan 2006 13:13
Date: Wed, 04 Jan 2006 13:13
18 lines
2207 bytes
2207 bytes
Tomasz Zielonka wrote: > W Haskella nie wpakowano takich srodkow, a jest calkiem, calkiem. > Zgadzam sie, ze wsparcie mogloby byc lepsze, ale np. jakosc kompilatorow > chyba i tak przebija to, co teraz mamy np. dla C++. No dobra, C++ to > zupelnie inna kategoria. Bjarne (prawie) wygral konkurs "Zaprojektuj > jezyk programowania, ktorego nikomu nie uda sie zaimplementowac". Nie da się zaimplementować = w praktyce nie da się napisać dobrego parsera w rozsądnym czasie (ze względu na głęboko poj***** gramatykę). Jak to się przebrnie, to dalej konstrukcja kompilatora jest typowa dla języków imperatywnych - sprawdzanie typów (duużo prostsze bądź co bądź niż w Haskellu), dominatory, SSA, grafy przepływu, alokacja rejestrów, generowanie kodu plus milion heurystyk - to wszystko znane i dopieszczone w szczegółach od wielu, wielu lat. Co więcej, istnieje spora ilość prac teoretycznych świadcząca o tym, że implementacja kompilatorów jęz. funkc. to w istocie rzeczy to samo (np. odpowiedniość między SSA i CPS lub postacią A-normalną).
Technical Details
Message-ID:
<dpghlc$1j3v$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>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 14:13:16 +0100 Organization: Internet Partners Lines: 18 Message-ID: <dpghlc$1j3v$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> NNTP-Posting-Host: intranet.murator.com.pl Mime-Version: 1.0 X-Trace: news2.ipartners.pl 1136380396 52351 217.153.39.22 (4 Jan 2006 13:13:16 GMT) X-Complaints-To: abuse@ipartners.pl NNTP-Posting-Date: 4 Jan 2006 13:13:16 GMT In-Reply-To: <slrndrnguv.6eu.tomasz.zielonka@localhost.localdomain> 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