🚀 go-pugleaf

Artur Siekielski wrote:
> piątek, 20 sty, Tomasz Zielonka:
>> Chetnie bym sobie obejrzal.
>
> Postaram się udostępnić źródła w przyszłym tygodniu, dam znać.

To moze przy okazji przygotuj przyklad pokazujacy wspomniana
nieefektywnosc. Postaram sie temu przyjrzec.

> Model checking to algorytm sprawdzania spełnialności formuły logicznej w
> systemach ze skończoną liczbą stanów. Najprostszy przykład formuły to np. "w
> każdym stanie s zachodzi: s(x) > 0". Naiwna implementacja sprawdzenia
> spełnialności tej formuły polegałaby na przejrzeniu wszystkich stanów systemu
> i sprawdzeniu, czy ta własność w każdym z nich zachodzi. Jednak istnieją różne
> skomplikowane techniki model-checkowania które umożliwiają działanie na
> ogromnych systemach, np. o liczbie stanów równej 10^100, co oczywiście nie
> jest możliwe przy naiwnych algorytmach.
> 
> [..]

Dzieki za opis. Kolejna rzecz warta blizszego poznania :-)

>> Moze mieliscie space-leak? Najczestsze objawy to duze zuzycie pamieci i
>> czas GC dominujacy w czasie dzialania programu.
>
> Nie pamiętam, czy profiler pokazywał jakieś informacje o GC... A powinien?

W przypadku GHC podstawowe statystyki mozna uzyskac uruchamiajac z opcja
+RTS -sstderr -RTS. Z bardziej rozbudowanych rzeczy - w biograficznym
profilowaniu pamieci warto zwocic uwage na udzial obiektow ze stanem LAG
(ale nie pamietam szczegolow).

>> Moze poproscie o pomoc na haskell-cafe@haskell.org?
>
> Może powinniśmy. Choć teraz, gdy w planach jest porzucenie tej implementacji,
> chyba szkoda na to czasu.

Czy to aby dobry pomysl? Haskell jest teraz na drugim miejscu w
    http://shootout.alioth.debian.org/gp4/benchmark.php?test=all&lang=all
OK, OK, sam nie przywiazuje zbyt wielkiej wagi do takich benchmarkow.

> Oj nie wiem :). Do Javy czy C są zaawansowane biblioteki używane w model
> checkingu, do Haskella niby też można je podłączyć (przez jakiś "foreign
> interface"), ale przeglądałem artykuł, w którym opisano takie rozwiązanie i
> było ono bardzo wolne. A wydajność jest jednak sprawą kluczową... Poza tym
> chciałbym mieć kontrolę nad czasem obliczania.

No coz, Twoja decyzja ;-)

> Ja nie mam za dużego praktycznego doświadczenia. Ten projekt to największa
> rzecz, jaką robiłem w języku funkcyjnym. Choć z językami funkcyjnymi zetknąłem
> się jeszcze w liceum (dzięki grupom dyskusyjnym, a ściślej - Qrczakowi), a
> przez okres studiów nie tracę z nimi kontaktu (nie ma to jak metody numeryczne
> w Haskellu :) ).

Mieliscie metody numeryczne w Haskellu? Na jakiej uczelni?

Pozdrawiam
Tomasz

-- 
I am searching for programmers who are good at least in
(Haskell || ML) && (Linux || FreeBSD || math)
for work in Warsaw, Poland