9Ciepło
1Odpowiedz
20Ciepło
2Odpowiedz
Czy jest coś, co nazywa się "semi-monad" lub "counter-monad"?
16Ciepło
1Odpowiedz
Czy istnieje generalizacja tych konstrukcji wolnostojących?
8Ciepło
1Odpowiedz
Czy prawa funktora udowadniają całkowitą ochronę struktury?
15Ciepło
4Odpowiedz
Jakie matematyczne dualy są w programowaniu OO?
10Ciepło
1Odpowiedz
To nie jest monada, ale co to jest?
6Ciepło
3Odpowiedz
Monady ze wszystkich stron - matematyczne, schematyczne i programowe
150Ciepło
2Odpowiedz
rzeczywistych aplikacjach z zygohistomorphic prepromorphisms
6Ciepło
1Odpowiedz
Zrozumienie sekwencjonowania w programowaniu funkcjonalnym
31Ciepło
2Odpowiedz
Różnica między wolnymi monadami a fixpointami funktorów?