Vlákno názorů ke zprávičce Mercury dostává podtypy od Mišo - Toto by ma celkom zaujímalo ale nemôžem sa...

Toto by ma celkom zaujímalo ale nemôžem sa k tomu dogooglit: "multiplicitu, která například umožňuje implementovat čistě funkcionální vstupně-výstupní operace bez použití funktorů (používaných například v Haskellu)." Je niekde stručná ukážka prosím?

Hned v první díle toho seriálu o Mercury na Rootu (první odkaz ve zprávičce), kde se mluví o “IO světech” (argumenty v módu “destructible input” a “unique output”). Některé jazyky mají u argumentů i nulovou multiplicitu.

S Mercury jsem si hrál už dávno a tolik si to nepamatuju, ale získal jsem dojem, že v podstatě neumí nic, co se v Haskellu nedělá běžně pomocí funktorû a monád.

To platí pro I/O, lineární typové systémy mají ale širší uplatnění.

Teoreticky ano, ale konkrétně v Mercury mi připadá, že to je totéž, co umí monády v Haskellu, jenom jinak.

Jak umí monády zajistit efektivní správu paměti obcházením GC?