🚀 go-pugleaf

czwartek, 19 sty, Tomasz Zielonka:
>>> 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).
> Mozna dowiedziec sie czegos wiecej, np. czy to projekt komercyjny czy
> akademicki? opensource?

Jest to projekt akademicki, robiony w Instytucie Podstaw Informatyki PAN w
Sopocie. Kod źródłowy nie jest w tej chwili udostępniany, ale myślę, że nie
byłoby z tym problemu.

Sam model matematyczny to hipersieci Petriego. Ma on tę zaletę nad podobnymi
formalizmami, że można stosować model checking. Pierwsza wersja naiwnego model
checkera została stworzona w Haskellu, jednak w tym wypadku sprawa wydajności
okazała się kluczowa, a ciężko robić optymalizacje w leniwym Haskellu czy
choćby wnioskować, co się aktualnie oblicza. Sprawa jest dziwna, bo szacując
matematycznie ilość potrzebnych obliczeń w pewnym przykładzie nie wychodzi ich
dużo, a Haskell oblicza to długo. Problemem jest zapewne wielokrotne
wykonywanie tych samych obliczeń (dlaczego nie ma prostego sposobu na
"function memoization"?!), ale mimo użycia profilera nie udało mi się znaleźć
tych kluczowych miejsc...

Ostatecznie ma być użyty lepszy algorytm modelcheckujący (co nie jest
trywialne, bo logika modelu jest niestandardowa), a model checker ma być
przepisany na coś imperatywnego (Java...).

Symulator jest skonstruowany następująco: model jest zaimplementowany w
Haskellu, wyświetlanie modelu jest realizowane przez program uDrawGraph,
służący do wyświetlania i edytowania grafów, a połączenie pomiędzy Haskellem a
uDrawGraphem jest napisane w Javie. Niestety połączenie Haskella z Javą jest
robione przez stdout/stdin, ponieważ nie udało mi się znaleźć działającego
sposobu na wywoływanie Haskella z Javy (w drugą stronę o dziwo się da).

Gdybym dzisiaj miał decydować o języku implementacji, byłbym za jakimś MLem,
bo miałbym tę samą ekspresywność, a język jest bardziej praktyczny (i chyba
nawet są jakieś MLe kompilowane do bajtkodu JVM...). Aha, pisząc w Haskellu
dosięgła nas następująca zmora: okazało się, że żeby zrobić "coś", trzeba
wprowadzić monadę, co wymagałoby przepisania praktycznie całego programu
(oczywiście ze zmianą wszystkich typów funkcji włącznie)...