←back to thread

191 points jwilk | 1 comments | | HN request time: 0.202s | source
Show context
drhagen ◴[] No.46230181[source]
If this gets wide enough use, they could add an optimization for code like this:

    n = 1000
    a = {}
    for i in range(n):
        a[i] = str(i)
    a = frozendict(a)  # O(n) operation can be turned to O(1)
It is relatively easy for the JIT to detect the `frozendict` constructor, the `dict` input, and the single reference immediately overwritten. Not sure if this would ever be worth it.
replies(1): >>46230599 #
_flux ◴[] No.46230599[source]
Wouldn't ref-counting CPython already know that a has a single reference, allowing this optimization without needing any particular smart JIT?
replies(3): >>46231093 #>>46231158 #>>46236475 #
1. tracnar ◴[] No.46236475[source]
Indeed, the Tcl implementation does this so e.g. `set d [dict] ; dict set d key value` can modify d in place instead of creating a copy (since everything is immutable).