Názor k článku Datové typy Option, Result a Array v programovacím jazyku F# od Calculon - Je to trochu jinak (na SO to je...

Je to trochu jinak (na SO to je vysvětlené správně). Nic se nezahodí, to pole tam prostě zůstane a změní se in situ.

Na SO je ale špatně popis "do", to funguje v Leanu s každou monádou, nejen IO, takže se výsledky funkcí zabalovat nijak nemusí.