Improve Performance of the Type System - #824

Merged

antonmedv merged 30 commits into

expr-lang:masterfrom

diegommm:make-checker-reusable

Sep 18, 2025

Commits on Aug 28, 2025

export the checker and ensure no methods or fields are exported
diegommm
committed
359dd99
make Checker reusable
diegommm
committed
360157a
add PatchAndCheck method to Checker, and reuse it in visitors
diegommm
committed
d234ae3

Commits on Aug 29, 2025

avoid unnecessary map and consolidate structs
diegommm
committed
edce1b0
make all Nature methods use pointer-receiver
diegommm
committed
80afb76
added cache for type and nature information
diegommm
committed
1c36c13
optimize type and nature checks
diegommm
committed
e9b245b
more aggressively cache some partial results and add cheap checks
diegommm
committed
879544e
cache reused values
diegommm
committed
8f6e266
reduce copying in Nature by breaking down optional fields
diegommm
committed
1eb8ab5

Commits on Aug 30, 2025

enforce use of cache
diegommm
committed
06a425b
improve ergonomics of FromType and NatureOf
diegommm
committed
d9ba735
improve struct method fetching
diegommm
committed
aa33cf9
make cache private to Nature
diegommm
committed
ab994ae

Commits on Aug 31, 2025

first iteration improving struct reflect caching
diegommm
committed
720d2b6
cleaned up struct fields data
diegommm
committed
35e3c1e
improve caching of functions data
diegommm
committed
e68fbc7
simplify checker code
diegommm
committed
3d7e30e
simplify and remove dead code
diegommm
committed
163df86
add checker benchmarks
diegommm
committed
40d2c14
address PR comments and minor improvements
diegommm
committed
247a6a6
rename from SetCache to Bind
diegommm
committed
32aebcd

Commits on Sep 1, 2025

make the benchmarks more fair
diegommm
committed
f6e2d87
fix benchmark option not being applied
diegommm
committed
eafdb3c

Commits on Sep 7, 2025

move Cache to be argument instead of field
diegommm
committed
db1510d
merge FuncData into Optional
diegommm
committed
9356f33

Commits on Sep 8, 2025

rename Optional to TypeData
diegommm
committed
332918b
simplify struct logic
diegommm
committed
cb06eb3
cache builtin numeric types
diegommm
committed
501bfab
Merge branch 'master' into make-checker-reusable
antonmedv
authored
6111734