Von Monaden zu Applikative Funktoren:
Von Monaden zu Applikative Funktoren:
Von Monaden zu Applikative Funktoren:
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
• Komposition: Zur Komposition von verschiedenen <strong>Monaden</strong> werden <strong>Monaden</strong>transformer<br />
benötigt. Dies liegt daran, dass die Komposition zweier <strong>Monaden</strong><br />
im Allgemeinen keine Monade darstellt. Im Gegensatz da<strong>zu</strong> sind applikative<br />
<strong>Funktoren</strong> unter Komposition abgeschlossen und können generisch komponiert<br />
werden.<br />
In diesem Tutorial werden da<strong>zu</strong> einige Beispiele vorgestellt und insbesondere<br />
gezeigt, dass sich die Semantik häufig unterscheidet von den jeweiligen <strong>Monaden</strong>transformern.<br />
So wird z.B. in folgendem Beispiel<br />
bsp = pure (+) pure 1 nope