Vlákno názorů k článku Projekt Mori aneb perzistentní datové struktury pro JavaScript od čumil - Persistentní a immutable struktury jsou to samé pokud...

Persistentní a immutable struktury jsou to samé pokud vím. Vlastnost persistentních rekurzivních struktur napojovat se na starší verze sebe sama nemá žádné extra super cool jméno pokud vím

Ne, nejsou. Persistenti je "silnejsi". Klidne muze byt immutable a zaroven nepersistentni struktura.

Ne, nejsou. Persistenti je silnejsi. Casto byvaji struktury immutable && nepersistentni.

"Vlastnost persistentních rekurzivních struktur napojovat se na starší verze sebe sama nemá žádné extra super cool jméno pokud vím"

AFAIK se tomu rika "structural sharing"

Oni ten zmatek v pojmenovani rozsiruji lidi od Javy napriklad :-) Tam jeste navic maji "unmodifiable" jako slabsi odvar od "immutable", ale ja to chapu, oni teprve ted objevuji veci, ktere FP ma radu desetileti.

Immutable je proste immutable v puvodnim smyslu toho slova (prikladem jsou Stringy v Jave, nebo prave kolekce z Mori). Persistent znamena, ze sice kolekce pod ni je immutable, ale API umoznuje "pridavani" nebo "ubirani" prvku, tyto operace ovsem ve skutecnosti pouziji structural sharing (nebo v nejhorsim pripade deep kopii), ovsem vzdy vraci z pohledu programatora referenci na novou strukturu, ta stara zustane zachovana a v pohode ji napriklad mohou pouzivat dalsi vlakna atd.