Vlákno názorů k článku Práce se seznamy v jazyce F# od Calculon - Myslím, že spíš než seznamy teď ve funkcionálním...

Myslím, že spíš než seznamy teď ve funkcionálním programování letí pole. Například Lean má #[1, 2, 3] s přístupem O(1).

Nebo vektory v Clojure, kde je pristup nejakych log_32 (N), tedy vlastne taky O(1) :)

Hezký logaritmus.

No v podstate je to plocha struktura a soucasne nabizi rozumne sdileni hodnot (jestli je na Clojure neco elegantniho, tak prave vektory a mapy, jak vypadaji uvnitr).

Umožňuje to structural sharing? Asi předpokládám, že ano.

Má to různé optimalizace. Například l := l.push 1234 prostě jen přidá prvek in situ, pokud na ten seznam existuje jen jedna reference.