🚀 go-pugleaf

Dnia Thu, 29 May 2003 09:09:14 +0000 (UTC), Tomasz Zielonka napisał(a):
>> Monada: polimorficzny typ (czyli sparametryzowany innym typem), np
>> .. 
> Dokładnie -> unarny konstruktor typu.

ok :), to chcialem wyrazic
 
>>	  Ważna jest chyba monada stanowa (koniecznie zobacz
>>         przykłady w obu źródłach które podałem), rozwiązuje ona
>>         problem stanu w programie funkcyjnym.
> 
> Monady pozwalają opisać wiele "efektów", np.
>     - stan
>     - wyjątki (Maybe, IO, Either)
>     - niedeterminizm (choćby monada [])
>     - referencje mutowalne (IO, ST s)
>     - tablice mutowalne (IO, ST s)
>     - wejście / wyjście (IO)
>     - wątki (co ciekawe można wymodelować ograniczoną postać wątków w 
> 	     czystym Haskellu, bez wsparcia środowiska wykonawczego)        
>     - kontynuacje
>     - środowisko

brrr - widze, ze to co zrozumialem to dopiero poczatek, troche nie
docenilem problemu :), robi wrazenie

>> ..
>>         środowiska nie można wyciągnąć w żaden sposób boza monadę,
>>         obliczenia na nim są zaszyte w kokretną definicję operatora
>>         >>=.
> 
> W monadach IO i ST jest to konieczność, ale nie wszystkie monady są
> abstrakcyjne i zabraniają dostępu do swojej reprezentacji.

doszedlem do tego podczas pisania poprzedniego posta (na przykladzie Maybe)

>>  ..
>>       typu (M a) da wynik przejścia przez wszystkie obliczenia zawinięty
>>       w monadę M.
> 
> To działa tylko przy prostszych monadach, takich jak monada stanu.
> Spróbuj to rozumowanie zastosować do monady IO z wątkami lub choćby do
> monady parsowania ;)

ja mowilem ze sie nie znam :)
 
>>       'Na chłopski rozum': złożenie wielu obliczeń w jedno duże
>>       obliczenie.
> 
> Dobrze jest myśleć o monadach od strony inżynierii oprogramowania, jako
> o sposobie konstruowania interfejsu biblioteki.
> ..

ok, chetnie to przemysle, dzieki

-- 
Pasza
pasza (at) zodiac.mimuw.edu.pl