Skip to content

Cached Closures

Caching closures is a basic optimization Holy and Squash use to work with "generic" Datatypes.(1) It works generally by storing an "input" hash based on parameters, and saving the result shape ID. This caching system is important to make sure memory usage stays low (by not creating new serialization/deserialization functions), and to prevent ser/de IDs from getting out of hand in size. As an example, here's the vect3 caching src:

  1. Generic Datatypes are functions which take in Datatype(s) and return a Datatype
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
local vect3_shape_cache = {} :: { [Shape<any>]: Shape<vector> }--(1)!
local function vect3(coord_shape: Shape<number>?): Shape<vector>
    local coord_shape = coord_shape or f32

    local cached = vect3_shape_cache[coord_shape]
    if cached then return cached end

    local vector_shape = new_id()
    vect3_shape_cache[coord_shape] = vector_shape--(2)!

    -- ...
end
  1. Store the input types which have generated a datatype before, as well as what ser/des id the input maps to
  2. Cache the input type with the created vector id

Although caching is already done automatically for most things, there is an API for caching a datatype instantly as a numeric ID.