🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: pl.comp.lang.funkcyjne
Article #773

Re: j. funkcyjne - jakie zastosowania?

#773
From: Artur Siekielski
Date: Thu, 19 Jan 2006 20:56
20 lines
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-mail
References: <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