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.