Vlákno názorů k článku Když možnosti functools nedostačují: další knihovny pro funkcionální programování v Pythonu od Calculon - Bude taky článek o perzistentních datových strukturách? Docela...

Bude taky článek o perzistentních datových strukturách? Docela by mě zajímalo, jestli nějaká knihovna implementuje FBIP, Python si počítá reference, tak by to mohlo technicky jít (na rozdíl od mnohých jiných jazyků).

Uz byl. https://www.root.cz/clanky/pyrsistent-persistentni-datove-struktury-v-pythonu-dokonceni/

Bude. Nečekejme zázraky, ale existují knihovny pro persistentní struktury i pro Python.

Kdysi už jsem napsal https://www.root.cz/clanky/pyrsistent-persistentni-datove-struktury-v-pythonu/ (má to dva díly), ale dneska už je víc podobných a lepších řešení.

(což mi přípomíná, že musím říct Petrovi, ať mi na to povolí seriál, aby ty články mohly být u sebe. A idálně by bylo dobré mít tag pro FP :)

Ten tag by se vskutku hodil :)

Taky by se zas hodilo něco o ML a následnících ;)

Tak tak, jak jsem psal, tak po prazdninach snad zacne vychazet serialek o F#. Tedy osobne bych zacal s OCamlem, ale ten je takovej porad vzadu, nejak se mu nezaradilo se prosadit.

Dík. Já vím, že existují, ale třeba jsou nějaké novinky na scéně :)

persistentni ale neni immutable ne?

Je to “effectively immutable”.

Mno ja to myslim takto - udelas is napriklad persistentni seznam, ok to nektery knihovny umi. Ale kdyz prvky toho seznamu budou slovniky, tak to neni immutable, takze nejaky structure sharing je asi dost na nic (nehlede na stalou nutnost si hlidat ten zpropadeny GIL :)

To jo, immutable je jen ten seznam. Aby to bylo rozumné, prvky seznamu taky musí být perzistentní. V Pythonu to proto moc nemá smysl, korektnosti zajistí jen čistě funkcionální jazyk.

No je to tak. Ale pozor, ono i v Clojure si jde nasekat vektor z atomu, refu nebo agentu a tvarit se, ze mam structural sharing. Jako samozrejme, kdo to udela takto daleko, asi vi, co chce, ale chtel jsem naznacit, ze ani tyto jazyky nejsou uplne immutable (navic to v Clojure nejde moc ohlidat typama, narozdil od rekneme ML/Haskellu)