Article View: pl.comp.lang.funkcyjne
Article #772Re: j. funkcyjne - jakie zastosowania?
From: Tomasz Zielonka
Date: Thu, 05 Jan 2006 06:23
Date: Thu, 05 Jan 2006 06:23
29 lines
2359 bytes
2359 bytes
RobertSzefler wrote: >> 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? "Do Haskella w Haskellu" juz jest kilka, np. w GHC, na narzedziach Programmatica, w pracy "Typing Haskell in Haskell" Marka P. Jonesa. Nie chodzilo Ci przypadkiem o "do Haskella w C++"? Jako jeden z przyszlych projektow przewiduje biblioteke do generowania kodu C/C++ z Haskella (szablony i makra C++ nie do konca sie sprawdzaja). Mozliwosci parsowania C++ tez by sie przydaly, chocby w ograniczonym zakresie. Nie wykluczone, ze w przyszlosci dodane zostanie tez sprawdzanie typow. Moze ktos jest chetny? Pozdrawiam Tomasz -- I am searching for programmers who are good at least in (Haskell || ML) && (Linux || FreeBSD || math) for work in Warsaw, Poland
Technical Details
Message-ID:
<slrndrpf0i.5i6.tomasz.zielonka@localhost.localdomain>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.atman.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> <dpglif$1l9g$1@news2.ipartners.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!newsfeed.atman.pl!not-for-mail From: Tomasz Zielonka <tomasz.zielonka@gmail.com> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: j. funkcyjne - jakie zastosowania? Date: Thu, 5 Jan 2006 06:23:23 +0000 (UTC) Organization: ATMAN Lines: 29 Message-ID: <slrndrpf0i.5i6.tomasz.zielonka@localhost.localdomain> 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> <dpglif$1l9g$1@news2.ipartners.pl> Reply-To: tomasz.zielonka@gmail.com NNTP-Posting-Host: 85.232.225.130 Mime-Version: 1.0 X-Trace: node1.news.atman.pl 1136442203 15663 85.232.225.130 (5 Jan 2006 06:23:23 GMT) X-Complaints-To: abuse@atman.pl NNTP-Posting-Date: Thu, 5 Jan 2006 06:23:23 +0000 (UTC) User-Agent: slrn/0.9.8.1pl1 (Debian) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit