Generické programování vs. funkcionální

[zboj]

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?

K tomu slouží prázdná množina.

[Reklama]

[zboj]

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.

[Aoidhghean]

Jde to říct i jinak nebo to je fakt tak složité?

  Nejde, je to složité.