Vlákno názorů k článku Podpora funkcionálního programování v Pythonu a knihovna functools od Calculon - Bylo by fajn, kdyby autor někdy napsal článek...

Bylo by fajn, kdyby autor někdy napsal článek o moderních trendech ve funk. jazycích. Konkrétně mě napadá například “local mutability” (a její čistě funkcionální interpretace a implementace). To jen tak trochu wishful thinking. (Byl by to návrat k ML-like jazykům.)

no mám zatím rozepsaný F#, ale asi to nechám uležet na začátek podzimu. Teď je okurková sezóna asi i tady na rootu :-)

Ale díky za inspiraci, podívám se i na něco dalšího.

Můžu dodat odkazy na články ;)

to by bylo skvele, predem diky

Až budu doma. Jinak zajímavé jsou i některé vedlejší produkty FJ, pro Koku například vznikl Mimalloc, který se teď často používá v Rustu.

Tady jsou příklady témat, co jsem měl na mysli:

https://leanprover.github.io/talks/IFL2019.pdf

https://arxiv.org/pdf/1908.05647.pdf

https://dl.acm.org/doi/pdf/10.1145/3547640

Ta lokální imperativita přeskládá kód s mutabilními proměnnými do “do” bloků (pomocí bind) v čistě funkcionálním jazyce. A ten FBIP zaručí čistě funkcionální datové struktury s výkonem mutabilních (když je refcount 1). Pokud jsou všechny funkce totální a všechny typy induktivní, znamená to, že program vždy skončí a zaručeně nemá memory leaky. Což jinak zaručí jen tracing GC, akorát že nedeterministicky. Jsem k dispozici k případným dotazům :)

To je neco jako
https://clojure.org/reference/transients
nebo vubec ne?