Article View: pl.comp.lang.funkcyjne
Article #773Re: j. funkcyjne - jakie zastosowania?
From: Artur Siekielski
Date: Thu, 19 Jan 2006 20:56
Date: Thu, 19 Jan 2006 20:56
20 lines
1860 bytes
1860 bytes
poniedziałek, 02 sty, Przemek Pokrywka: > Jestem nowy w temacie języków funkcyjnych - w jakich zastosowaniach > spisują się one najlepiej? Właśnie uczestniczę w takim małym projekcie, którego celem jest stworzenie symulatora pewnego modelu obliczeń mobilnych. Model jest zdefiniowany matematycznie. Implementacja jądra symulatora została wykonana w Haskellu (choć na początku Haskell miał służyć tylko do stworzenia prototypu). Do takiego zastosowania język funkcyjny jest narzędziem doskonałym -- dlatego, że specyfikacja tego, co mamy zrobić, jest opisana matematycznie, a tłumaczenie definicji matematycznych na język funkcyjny jest proste. Można wtedy spojrzeć na program jak na specyfikację, która przy okazji jest wykonywalna. Może trochę przesadzam z tą prostotą tłumaczenia, no i dobrze zmodularyzowany program musi mieć inną strukturę, niż tekst specyfikacji matematycznej, ale pisząc symulator często się zdarzało, że nie musiałem dokładnie rozumieć, o co chodzi w niektórych definicjach, wystarczyło je dokładnie przetłumaczyć na Haskella!
Technical Details
Message-ID:
<dqouds$run$1@opal.futuro.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mailReferences:
<dpc61g$f0l$1@news.onet.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mail From: Artur Siekielski <gruesome@REMOVEpoczta.onet.pl> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: j. funkcyjne - jakie zastosowania? Date: Thu, 19 Jan 2006 20:56:28 +0000 (UTC) Organization: Pro Futuro Lines: 21 Message-ID: <dqouds$run$1@opal.futuro.pl> References: <dpc61g$f0l$1@news.onet.pl> NNTP-Posting-Host: 25-m.sm-rozstaje.pl Mime-Version: 1.0 X-Trace: opal.futuro.pl 1137704188 28631 83.142.178.25 (19 Jan 2006 20:56:28 GMT) X-Complaints-To: usenet@futuro.pl NNTP-Posting-Date: Thu, 19 Jan 2006 20:56:28 +0000 (UTC) User-Agent: slrn/0.9.8.1pl1 (Linux) Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit