Citace od: Pako kdy 27. 06. 2017, 00:06:10
Citace od: v kdy 26. 06. 2017, 23:21:47
Citace od: zboj kdy 26. 06. 2017, 23:19:56
Citace od: v kdy 26. 06. 2017, 21:34:38
Citace od: zboj kdy 26. 06. 2017, 20:45:54
Jde o převod z maybe na singleton.
to asi ne, ne? ve wikipedii píšou, že singleton je množina o jednom prvku
Přesně, právě proto.
viz Prýmek, jak z Nothing udělám množinu o jednom prvku?
No a není Nothingness sama o sobě singletonem?
Tak to nefunguje, to se prostě mapuje na prázdnou množinu, jinak by to nebyla přirozená transformace, takže by nefungovaly monády a celé by to tedy bylo dost k ničemu.
17 Příspěvky
5 803 Zhlédnutí