🚀 go-pugleaf

sobota, 21 sty, Piotr Dembiński:
>> 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)...
> O, o, o.  Czyli programy haskellowe są trudne w modyfikacji?
> Pytam, bo nie wiem, a akurat próbuję 'siedzieć' w refaktoryzacji.

To, o czym piszę, jest rzeczywistym problemem. Np. tutaj:
http://www.docs.uu.se/~leucker/Documents/Leucker/Truth_Haskell.ps.gz jest opis
innego systemu do model checkingu zrobiony w Haskellu, w punkcie 4.3 opisują
podobny problem: powstała konieczność wprowadzenia monady, ale nie chcieli
przepisywać całości, więc użyli funkcji 'unsafeperformIO' i piszą: "...we had
to add some hacks to ensure the evaluation of the unsafeperformIO function in
the presence of the lazy strategy".