26. 9. 2023 1:01
„V první řadě se jedná o typ Option a typ Result, což jsou v podstatě monády”
Hehe
26. 9. 2023 7:27
hmm a jsou? wraping+unwraping to ma, ale jestli to staci na zarazeni...
26. 9. 2023 7:43
Ale jo, jsou (dá se polemizovat o morfismech), mně se jen líbila ta poznámka za tím ("nelekejte se").
Akorát teda (un)wrapping s tím zařazením nijak nesouvisí.
27. 9. 2023 7:27
jj nelekejme se. Možná je teorie okolo monád hodně divoká, ale jejich praktické použití je fajn (jeden z nejlepších návrhových vzorů IMHO).
27. 9. 2023 12:01
Zas tak divoká není, jsou horší :)